Cited in
(40)- Formalization of Wu's simple method in Coq
- GMBL
- A graphical user interface for formal proofs in geometry
- A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Automated theorem proving in GeoGebra: current achievements
- Geometry constructions language
- Automatically building diagrams for olympiad geometry problems
- GeoThms -- a web system for Euclidean constructive geometry
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- A Singular web service for geometric computations
- Wu's characteristic set method for SystemVerilog assertions verification
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- 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
- Penrose
- Thousands of geometric problems for geometric theorem provers (TGTP)
This page was built for software: MMP/Geometer
