Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems

DOI10.1007/BF01531326zbMath0855.68095OpenAlexW1479887426MaRDI QIDQ1924745

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Publication date: 27 January 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01531326

zbMATH Keywords

Euclid

Mathematics Subject Classification ID

Related Items

Automated production of traditional proofs in solid geometry ⋮ The area method. A recapitulation ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation ⋮ Taxonomies of geometric problems ⋮ GeoThms — a Web System for Euclidean Constructive Geometry

Cites Work

• The parallel numerical method of mechanical theorem proving
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Proving geometry theorems with rewrite rules
• Plane geometry theorem proving using forward chaining
• Problems and Experiments for and with Automated Theorem-Proving Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item