GEOTHER: A geometry theorem prover

DOI10.1007/3-540-61511-3_78zbMath1412.68266OpenAlexW1794180414MaRDI QIDQ4647511

Dongming Wang

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_78

zbMATH Keywords

geometric theoremalgebraic expressiongeometry theorem provermechanical theorem provesubsidiary condition

Mathematics Subject Classification ID

Related Items (5)

Automatic deduction in (dynamic) geometry: Loci computation ⋮ What does ``without loss of generality mean, and how do we detect it ⋮ A parametric approach to 3D dynamic geometry ⋮ Representation and automated transformation of geometric statements ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems

Uses Software

• GEOTHER 1.1

Cites Work

• Basic principles of mechanical theorem proving in elementary geometries
• Unnamed Item

This page was built for publication: GEOTHER: A geometry theorem prover