Details:
Title  Gröbner Bases and Triangles  Author(s)  Wolfram Koepf  Type  Technical Report, Misc  Abstract  It is wellknown that by polynomial elimination methods, in particular by the computation of Gröbner bases, proofs for geometric theorems can be automatically generated. On the other hand, it is much less known that Gröbner bases, in combination with rational factorization, can be even used to find new geometric theorems. In this article such a method is described, and some new theorems on plane triangles are deduced. 
Language  English  Year  1996  Month  September  Edition  0  Translation 
No  Refereed 
No 
