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.
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 |