GeoView
From MaRDI portal
Cited in
(30)- GCLC
- MMP/Geometer
- Xeukleides
- GEOTHER 1.1
- Towards an intelligent and dynamic geometry book
- Cabri-geometry
- Eukleides
- GeoProof
- GCLCprover
- GeoThms
- gcl
- WinGCLC
- Electronic Geometry Textbook
- Intergeo
- GEX
- Pcoq
- Dr.Doodle
- 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
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Geometry Tutor
- CHYPRE
- Baghera
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
This page was built for software: GeoView
