Pages that link to "Item:Q2867934"
From MaRDI portal
The following pages link to GeoThms -- a web system for Euclidean constructive geometry (Q2867934):
Displaying 13 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)
- A Singular web service for geometric computations (Q2354915) (← links)
- A proposal for an on-line library of descriptive geometry problems (Q2755130) (← links)
- The Web Geometry Laboratory Project (Q2843041) (← links)
- GeoThms -- a web system for Euclidean constructive geometry (Q2867934) (← links)
- A sustainable geometry automated reasoning platform (Q2917018) (← 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)
- Automated Deduction in Geometry (Q5902024) (← links)