A refutational approach to geometry theorem proving
- 31 December 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 37 (1-3), 61-93
- https://doi.org/10.1016/0004-3702(88)90050-1
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Using Gröbner bases to reason about geometry problemsJournal of Symbolic Computation, 1986
- On the application of Buchberger's algorithm to automated geometry theorem provingJournal of Symbolic Computation, 1986
- Automated reasoning in geometry theorem proving with PrologJournal of Automated Reasoning, 1986
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the PlaneSIAM Journal on Computing, 1984
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970
- An examination of the geometry theorem machineArtificial Intelligence, 1970
- Die Frage der endlich vielen Schritte in der Theorie der PolynomidealeMathematische Annalen, 1926