Pages that link to "Item:Q2867934"
From MaRDI portal
The following pages link to GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934):
Displaying 8 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
