Refutational proofs of geometry theorems via characteristic set computation
- 1 July 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 277-284
- https://doi.org/10.1145/96877.96949
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A refutational approach to geometry theorem provingArtificial Intelligence, 1988
- Wu's method and its application to perspective viewingArtificial Intelligence, 1988
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principleArtificial Intelligence, 1988
- Automated reasoning in geometry theorem proving with PrologJournal of Automated Reasoning, 1986
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- Basic principles of mechanical theorem proving in elementary geometriesJournal of Automated Reasoning, 1986
- Geometry theorem proving using Hilbert's NullstellensatzPublished by Association for Computing Machinery (ACM) ,1986
- Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the PlaneSIAM Journal on Computing, 1984
- Some Recent Advances in Mechanical Theorem-Proving of GeometriesContemporary Mathematics, 1984
- On the Decision Problem and the Mechanization of Theorem-Proving in Elementary GeometryContemporary Mathematics, 1984