Pages that link to "Item:Q5756763"
From MaRDI portal
The following pages link to Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763):
Displaying 8 items.
- GCLCprover (Q18349) (← links)
- GeoThms (Q18350) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- The Area Method and Proving Plane Geometry Theorems (Q2949300) (← links)
- Towards an Electronic Geometry Textbook (Q5453481) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
