GeoProof

swMATH5737MaRDI QIDQ17876FDOQ17876

Author name not available (Why is that?)

Described by source

• A graphical user interface for formal proofs in geometry

Cited In (16)

• A review and prospect of readable machine proofs for geometry theorems
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Geometry constructions language
• Taxonomies of geometric problems
• Proof Documents for Automated Origami Theorem Proving
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Mechanical Theorem Proving in Tarski’s Geometry
• Automated deduction and knowledge management in geometry
• Formalization of Wu's simple method in Coq
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Towards an intelligent and dynamic geometry book
• The relation tool in GeoGebra 5
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• Proof assistant decision procedures for formalizing origami

This page was built for software: GeoProof