An examination of the geometry theorem machine

DOI10.1016/0004-3702(70)90005-6zbMath0205.31602OpenAlexW1966119556MaRDI QIDQ2542288

Paul C. Gilmore

Publication date: 1970

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(70)90005-6

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Automated reasoning in geometry theorem proving with Prolog, MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics, A refutational approach to geometry theorem proving, A review and prospect of readable machine proofs for geometry theorems, Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation, Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles, Breadth-first search: some surprising results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on syntactic symmetry and the manipulation of formal systems by machine
• A Proof Method for Quantification Theory: Its Justification and Realization
• Semi-Automated Mathematics