Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)

Gröbner Bases and Triangles

Please always quote using this URN: urn:nbn:de:0297-zib-2350
  • It is well-known that by polynomial elimination methods, in particular by the computation of Gröbner bases, proofs for geometric theorems can be automatically generated. %% Several monographs On the other hand, it is much less known that Gröbner bases, in combination with rational factorization, can be even used to {\sl find} new geometric theorems. In this article such a method is described, and some new theorems on plane triangles are deduced.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics - number of accesses to the document
Metadaten
Author:Wolfram Koepf
Document Type:ZIB-Report
Date of first Publication:1996/08/15
Series (Serial Number):ZIB-Report (SC-96-24)
ZIB-Reportnumber:SC-96-24
Published in:Appeared in: The International Journal of Computer Algebra in Mathematics Education 4 (1997) pp. 371-386
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.