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