Equation solving in geometrical theories
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Canonical Equational ProofsPublished by Springer Nature ,1991
- A new theorem discovered by computer proverJournal of Geometry, 1989
- Algebraic Methods for Geometric ReasoningAnnual Review of Computer Science, 1988
- Basic principles of mechanical theorem proving in elementary geometriesJournal of Automated Reasoning, 1986