The following pages link to GeoView (Q24257):
Displayed 9 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763) (← links)