Pages that link to "Item:Q2462636"
From MaRDI portal
The following pages link to A graphical user interface for formal proofs in geometry (Q2462636):
Displaying 18 items.
- GeoProof (Q17876) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Geometry constructions language (Q2655329) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
