swMATH12328MaRDI QIDQ24257FDOQ24257
Author name not available (Why is that?)
Official website: https://www-sop.inria.fr/lemme/geoview/geoview.html
Cited In (27)
- 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
- GCLC
- Cabri-geometry
- Eukleides
- GeoProof
- GCLCprover
- GeoThms
- gcl
- Electronic Geometry Textbook
- WinGCLC
- Intergeo
- Dr.Doodle
- GEX
- Pcoq
- JGEX
- Geometrix
- Baghera
- CHYPRE
- Geometry Tutor
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- GeoThms -- a web system for Euclidean constructive geometry
- Towards an intelligent and dynamic geometry book
- Thousands of geometric problems for geometric theorem provers (TGTP)
This page was built for software: GeoView
