Automated Deduction in Geometry

DOI10.1007/b95516zbMath1202.68379OpenAlexW2489376520MaRDI QIDQ5902024

Hans-Gert Gräbe

Publication date: 4 June 2009

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

Full work available at URL: https://doi.org/10.1007/b95516

Mathematics Subject Classification ID

Related Items

Representation and automated transformation of geometric statements, SymbolicData

Uses Software

• GEOTHER 1.1
• GEX
• GeoProver