webDiscovery
From MaRDI portal
Software:22121
swMATH10153MaRDI QIDQ22121FDOQ22121
Author name not available (Why is that?)
Cited In (7)
- Computational Science and Its Applications – ICCSA 2004
- Geometry constructions language
- A software tool for the investigation of plane loci
- Automated generation of geometric theorems from images of diagrams
- 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
- Title not available (Why is that?)
This page was built for software: webDiscovery
