GCLCprover
From MaRDI portal
swMATH6215MaRDI QIDQ18349FDOQ18349
Author name not available (Why is that?)
Official website: https://www.cisuc.uc.pt/publication/show/1258
Cited In (45)
- A review and prospect of readable machine proofs for geometry theorems
- Geometry constructions language
- New dynamics in dynamic geometry: dragging constructed points
- Portfolio theorem proving and prover runtime prediction for geometry
- The area method. A recapitulation
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automated deduction and knowledge management in geometry
- Formalization of Wu's simple method in Coq
- GCLC
- I2Geo
- GeoGebra
- Geometer's Sketchpad
- Eukleides
- GeoProof
- Cabri
- GeoThms
- Formalization and specification of geometric knowledge objects
- ArgoCLP
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- WinGCLC
- Intergeo
- GEX
- webDiscovery
- sketchometry
- arXMLiv
- GeoView
- GeoText
- Opengeo
- JGEX
- ArgoTriCS
- GATP
- HOARD ATINF
- Baghera
- WGL
- The area method and proving plane geometry theorems
- Representation and automated transformation of geometric statements
- GeoThms -- a web system for Euclidean constructive geometry
- Towards an intelligent and dynamic geometry book
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Current status of the I2GATP common format
This page was built for software: GCLCprover
