webDiscovery
From MaRDI portal
Software:22121
No author found.
Related Items (7)
Geometry constructions language ⋮ Unnamed Item ⋮ First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems ⋮ Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System ⋮ Computational Science and Its Applications – ICCSA 2004 ⋮ A software tool for the investigation of plane loci ⋮ Automated generation of geometric theorems from images of diagrams
This page was built for software: webDiscovery
