GeoThms
From MaRDI portal
Cited in
(60)- Cinderella
- GCLC
- I2Geo
- MMP/Geometer
- Xeukleides
- GEOTHER 1.1
- GeoGebra
- Geometer's Sketchpad
- Towards an intelligent and dynamic geometry book
- Eukleides
- GeoProof
- GCLCprover
- Cabri
- Xcas
- Giac
- OpenGeoProver
- ArgoCLP
- gcl
- Automated deduction and knowledge management in geometry
- WinGCLC
- Electronic Geometry Textbook
- Intergeo
- GEX
- Pcoq
- webDiscovery
- Formalization and specification of geometric knowledge objects
- sketchometry
- New dynamics in dynamic geometry: dragging constructed points
- Automated generation of geometric theorems from images of diagrams
- arXMLiv
- TGTP
- GeoView
- A review and prospect of readable machine proofs for geometry theorems
- Opengeo
- GeoText
- JGEX
- Portfolio theorem proving and prover runtime prediction for geometry
- Geometry constructions language
- Geometrix
- ArgoTriCS
- Automated theorem proving in GeoGebra: current achievements
- GeoThms -- a web system for Euclidean constructive geometry
- On the design and implementation of a geometric knowledge base
- Formalization of Wu's simple method in Coq
- Thousands of geometric problems for geometric theorem provers (TGTP)
- The relation tool in GeoGebra 5
- Current status of the I2GATP common format
- Communicating mathematics in the digital era (CMDE 2006). Selected papers based on the presentations at the meeting (CMDE 2006), Aveiro, Portugal, August 15--18, 2006.
- GATP
- HOARD ATINF
- WGL
- The area method. A recapitulation
- CHYPRE
- Baghera
- Representation and automated transformation of geometric statements
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Computer proofs in plane geometry
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
- GCLC -- a tool for constructive Euclidean geometry and more than that
This page was built for software: GeoThms
