Pages that link to "Item:Q2462636"
From MaRDI portal
The following pages link to A graphical user interface for formal proofs in geometry (Q2462636):
Displaying 5 items.
- GeoProof (Q17876) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
