swMATH5737MaRDI QIDQ17876FDOQ17876
Author name not available (Why is that?)
Official website: https://rd.springer.com/article/10.1007%2Fs10817-007-9071-4
Cited In (46)
- 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
- GCLC
- GeoGebra
- Geometer's Sketchpad
- Cabri-geometry
- Cabri
- GCLCprover
- GeoThms
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- Proof General Kit
- Intergeo
- Dr.Doodle
- GEX
- Pcoq
- webDiscovery
- GeoView
- LeActiveMath
- Opengeo
- JGEX
- Geometrix
- Orikoto
- GATP
- HOARD ATINF
- Baghera
- CHYPRE
- GeoCoq
- Geometry Tutor
- WGL
- 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
