Pages that link to "Item:Q616846"
From MaRDI portal
The following pages link to Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846):
Displaying 18 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation (Q2879129) (← 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)
- Towards an Electronic Geometry Textbook (Q5453481) (← links)
- Computer Algebra and Geometric Algebra with Applications (Q5709357) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)
