Computer proofs in plane geometry

MaRDI QIDQ5407115zbMATH OpenFDO

Authors Martin Billich

Publication date 4 April 2014

Mathematics Subject Classification ID

Comprehensive works on geometry education (97G10) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• GCLC -- a tool for constructive Euclidean geometry and more than that
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 767435
• scientific article; zbMATH DE number 6984221
• Automated Deduction in Geometry

Cited in

(15)

• An application of CLP: Checking the correctness of theorems in geometry
• Geometry constructions language
• GeoThms -- a web system for Euclidean constructive geometry
• Geometry knowledge base learning from theorem proofs
• The area method and proving plane geometry theorems
• Interactive computer programs (ICP) for teaching the indirect method for theorem proving
• An introduction to Java geometry expert. (Extended abstract)
• scientific article; zbMATH DE number 1348459 (Why is no real title available?)
• scientific article; zbMATH DE number 2160466 (Why is no real title available?)
• scientific article; zbMATH DE number 2086737 (Why is no real title available?)
• scientific article; zbMATH DE number 767435 (Why is no real title available?)
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• 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
• Nonrealizability proofs in computational geometry

Describes a project that uses

Uses Software

• WinGCLC
• GeoThms

This page was built for publication: Computer proofs in plane geometry

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