Cited in
(40)- A graphical user interface for formal proofs in geometry
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Geometry constructions language
- Automated theorem proving in GeoGebra: current achievements
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Formalization of Wu's simple method in Coq
- A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
- Cinderella
- GCLC
- Xeukleides
- GEOTHER 1.1
- SMV
- Geometer's Sketchpad
- Eukleides
- GeoProof
- GCLCprover
- GeoThms
- SCSCP
- gcl
- Juno-2
- WinGCLC
- Dr.Doodle
- GEX
- Pcoq
- webDiscovery
- GeoView
- JGEX
- Geometrix
- VirtualBox
- CHYPRE
- Geometry Tutor
- paramGeo3D
- Automatically building diagrams for olympiad geometry problems
- GMBL
- Penrose
- A Singular web service for geometric computations
- Wu's characteristic set method for SystemVerilog assertions verification
- GeoThms -- a web system for Euclidean constructive geometry
- Thousands of geometric problems for geometric theorem provers (TGTP)
This page was built for software: MMP/Geometer
