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