MMP/Geometer
From MaRDI portal
swMATH584MaRDI QIDQ13339FDOQ13339
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-540-24616-9_4#page-1
Cited In (40)
- GMBL
- 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
- Automatically building diagrams for olympiad geometry problems
- paramGeo3D
- 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
