Automated generation of readable proofs with geometric invariants
- 1 December 1996
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 17 (3) , 349-370
- https://doi.org/10.1007/bf00283134
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automated generation of readable proofs with geometric invariantsJournal of Automated Reasoning, 1996
- Machine Proofs in GeometrySeries on Applied Mathematics, 1994
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- Automated reasoning in geometry theorem proving with PrologJournal of Automated Reasoning, 1986
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975
- An examination of the geometry theorem machineArtificial Intelligence, 1970
- Empirical explorations of the geometry theorem machinePublished by Association for Computing Machinery (ACM) ,1960