The Area Method and Proving Plane Geometry Theorems

DOI10.1007/978-3-319-12577-0_48zbMath1346.68174OpenAlexW585013043MaRDI QIDQ2949300

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

theorem provinggeometric constructionsarea method

Mathematics Subject Classification ID

Uses Software

• GCLCprover

Cites Work

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

This page was built for publication: The Area Method and Proving Plane Geometry Theorems