Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleGröbner Bases and Triangles
Author(s) Wolfram Koepf
TypeTechnical Report, Misc
AbstractIt 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. 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.
LanguageEnglish
Year1996
MonthSeptember
Edition0
Translation No
Refereed No
Webmaster