Pages that link to "Item:Q1995810"
From MaRDI portal
The following pages link to A symbolic dynamic geometry system using the analytical geometry method (Q1995810):
Displaying 5 items.
- A Symbolic Companion for Interactive Geometric Systems (Q5200127) (← links)
- Qualitative Symbolic Perturbation: Two Applications of a New Geometry-based Perturbation Framework (Q5745394) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- A method for the automated discovery of angle theorems (Q6653969) (← links)