The following pages link to Geometry Tutor (Q43964):
Displayed 4 items.
- (Q47958) (redirect page) (← links)
- Conservation principles and action schemes in the synthesis of geometric concepts (Q1028905) (← links)
- Automated reasoning in geometry theorem proving with Prolog (Q1101254) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)