Automated Reasoning in Geometry
- 1 January 2001
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 41 references indexed in Scilit:
- Automated generation of readable proofs with geometric invariantsJournal of Automated Reasoning, 1996
- Automated generation of readable proofs with geometric invariantsJournal of Automated Reasoning, 1996
- Automated production of traditional proofs in solid geometryJournal of Automated Reasoning, 1995
- Automated reasoning in differential geometry and mechanics using the characteristic set methodJournal of Automated Reasoning, 1993
- Automated reasoning in differential geometry and mechanics using the characteristic set methodJournal of Automated Reasoning, 1993
- Geometric reasoning with logic and algebraArtificial Intelligence, 1988
- On mechanical quantifier elimination for elementary algebra and geometryJournal of Symbolic Computation, 1988
- A method for the mechanical derivation of formulas in elementary geometryJournal of Automated Reasoning, 1987
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- A note on Hilbert’s NullstellensatzBulletin of the American Mathematical Society, 1948