Automated Deduction in Geometry

DOI10.1007/b95516zbMath1202.68390OpenAlexW2489376520MaRDI QIDQ5902031

Dongming Wang

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

zbMATH Keywords

\texttt{GEOTHER 1.1}

Mathematics Subject Classification ID

Related Items

Automated theorem proving in GeoGebra: current achievements, The Relation Tool in GeoGebra 5, Portfolio theorem proving and prover runtime prediction for geometry, Geometry constructions language, Representation and automated transformation of geometric statements, Formalization and specification of geometric knowledge objects, Solution formulas for cubic equations without or with constraints, Connecting the 3D DGS Calques3D with the CAS Maple, Towards an Electronic Geometry Textbook, Automatic Verification of Regular Constructions in Dynamic Geometry Systems, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, Automatically building diagrams for olympiad geometry problems, GEOTHER 1.1, Formalization of Wu’s Simple Method in Coq, Proof Documents for Automated Origami Theorem Proving, Thousands of Geometric Problems for Geometric Theorem Provers (TGTP), GeoThms — a Web System for Euclidean Constructive Geometry