Cited in
(31)- Proof assistant decision procedures for formalizing origami
- Automated theorem proving in GeoGebra: current achievements
- Computer theorem proving for verifiable solving of geometric construction problems
- Taxonomies of geometric problems
- The area method. A recapitulation
- A Singular web service for geometric computations
- Portfolio theorem proving and prover runtime prediction for geometry
- GCLC
- MMP/Geometer
- Xeukleides
- Eukleides
- GeoProof
- GCLCprover
- GeoThms
- Giac
- SCSCP
- ArgoCLP
- OpenGeoProver
- Dr.Doodle
- GEX
- sketchometry
- GeoView
- JGEX
- Geometrix
- ArgoTriCS
- URSA
- VirtualBox
- CHYPRE
- paramGeo3D
- EUCLID
- New dynamics in dynamic geometry: dragging constructed points
This page was built for software: gcl
