Using Gröbner bases to reason about geometry problems
- 31 December 1986
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 2 (4), 399-408
- https://doi.org/10.1016/s0747-7171(86)80007-4
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the application of Buchberger's algorithm to automated geometry theorem provingJournal of Symbolic Computation, 1986
- Proving Elementary Geometry Theorems Using Wu’s AlgorithmContemporary Mathematics, 1984
- Some Recent Advances in Mechanical Theorem-Proving of GeometriesContemporary Mathematics, 1984
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970
- Die Frage der endlich vielen Schritte in der Theorie der PolynomidealeMathematische Annalen, 1926