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
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• The Relation Tool in GeoGebra 5
• Proof Documents for Automated Origami Theorem Proving
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
• Mechanical Theorem Proving in Tarski’s Geometry
• Automated deduction and knowledge management in geometry
• Proof Assistant Decision Procedures for Formalizing Origami
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Formalization of Wu’s Simple Method in Coq
• Towards an intelligent and dynamic geometry book

This page was built for software: GeoProof