The area method and proving plane geometry theorems

DOI10.1007/978-3-319-12577-0_48MaRDI QIDQ2949300zbMATH OpenOpenAlexFDO

Authors Martin Billich

Publication date 8 October 2015

Published in Trends in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12577-0_48

zbMATH Keywords

area methodgeometric constructionstheorem proving

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04)

Recommendations

• The area method. A recapitulation
• Elimination procedures for mechanical theorem proving in geometry
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 1159859
• Computer proofs in plane geometry

Cites work

• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Machine Proofs in Geometry
• Regulated functions and integrability
• Using Gröbner bases to reason about geometry problems

Cited in

(6)

• A Euclidean area theorem via isotropic projection
• An application of CLP: Checking the correctness of theorems in geometry
• scientific article; zbMATH DE number 5713376 (Why is no real title available?)
• Another Proof of Pick's Area Theorem
• The area method. A recapitulation
• Geometrical theorems about conservation of area for use in classroom activities

Describes a project that uses

Uses Software

• GCLCprover

This page was built for publication: The area method and proving plane geometry theorems

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