GeoThms
From MaRDI portal
Software:18350
swMATH6216MaRDI QIDQ18350FDOQ18350
Author name not available (Why is that?)
Cited In (23)
- A review and prospect of readable machine proofs for geometry theorems
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Geometry constructions language
- New dynamics in dynamic geometry: dragging constructed points
- 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.
- Portfolio theorem proving and prover runtime prediction for geometry
- The Relation Tool in GeoGebra 5
- Current Status of the I2GATP Common Format
- Automated theorem proving in GeoGebra: current achievements
- 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
- On the design and implementation of a geometric knowledge base
- Title not available (Why is that?)
- Formalization and specification of geometric knowledge objects
- Automated generation of geometric theorems from images of diagrams
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- 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
- Thousands of geometric problems for geometric theorem provers (TGTP)
This page was built for software: GeoThms
