Emphasizing human techniques in automated geometry theorem proving: A practical realization

DOI10.1007/3-540-45410-1_16MaRDI QIDQ4531862zbMATH OpenFDO

Authors Ricardo Caferra, Nicolas Peltier, F. Puitg

Publication date 23 May 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2061/20610268

zbMATH Keywords

analogyautomated geometric reasoningcomputer assisted learningmodel (counter-example) buildingproof structuring with diagrams

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• A new approach for automatic theorem proving in real geometry
• Automatted geometry theorem proving
• scientific article; zbMATH DE number 4160161
• Machine Proofs in Geometry
• scientific article; zbMATH DE number 4072432
• On protocols for the automated discovery of theorems in elementary geometry

Cited in

(6)

• A review and prospect of readable machine proofs for geometry theorems
• scientific article; zbMATH DE number 2089089 (Why is no real title available?)
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs
• HOARD ATINF
• scientific article; zbMATH DE number 2000432 (Why is no real title available?)
• scientific article; zbMATH DE number 2061682 (Why is no real title available?)

Describes a project that uses

Uses Software

• Cinderella
• SCOTT

This page was built for publication: Emphasizing human techniques in automated geometry theorem proving: A practical realization

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