The following pages link to webDiscovery (Q22121):
Displaying 7 items.
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Geometry constructions language (Q2655329) (← links)
- Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System (Q3102736) (← links)
- (Q4434825) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems (Q5428266) (← links)
