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) , 325-347
- https://doi.org/10.1007/bf00283133
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Automated production of traditional proofs for constructive geometry theoremsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Machine Proofs in GeometrySeries on Applied Mathematics, 1994
- Abstract Planning and Perceptual Chunks: Elements of Expertise in GeometryCognitive Science, 1990
- 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
- Geometry theorem proving using Hilbert's NullstellensatzPublished by Association for Computing Machinery (ACM) ,1986
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- Proving a Theorem (as Done by Man, Logician, or Machine)Published by Springer Nature ,1983
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975
- An examination of the geometry theorem machineArtificial Intelligence, 1970