Proving geometry statements of constructive type

DOI10.1007/3-540-55602-8_153MaRDI QIDQ4264711zbMATH OpenFDO

Authors Shang-Ching Chou, Xiao-Shan Gao

Publication date 7 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55602-8_153

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1263331
• scientific article; zbMATH DE number 4021099
• Computer proofs in plane geometry
• A new approach for automatic theorem proving in real geometry
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems

Cited in

(7)

• The computer searches for Pascal conics
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• A graphical user interface for formal proofs in geometry
• Formalization of Wu's simple method in Coq
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
• Geometry machines: from AI to SMC

This page was built for publication: Proving geometry statements of constructive type

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