Automatic theorem proving for three decades

MaRDI QIDQ3571252zbMATH OpenFDO

Authors Jingzhong Zhang, Yongbin Li

Publication date 8 July 2010

zbMATH Keywords

algebraic methodsarea methodautomated geometry theorem provingreadable proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Automated reasoning in geometry
• A review and prospect of readable machine proofs for geometry theorems
• Automatted geometry theorem proving
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 994744

Cited in

(8)

• A review and prospect of readable machine proofs for geometry theorems
• Errata to ``75 problems for testing automatic theorem provers
• Teaching Automated Theorem Proving by Example: PyRes 1.2
• scientific article; zbMATH DE number 1474909 (Why is no real title available?)
• Evaluating general purpose automated theorem proving systems
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• Automated generation of readable proofs for constructive geometry statements with the mass point method
• Automated reasoning in geometry

This page was built for publication: Automatic theorem proving for three decades

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3571252)