webDiscovery

swMATH10153MaRDI QIDQ22121FDOQ22121

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/3-540-44860-8_83

Cited In (10)

• Computational Science and Its Applications – ICCSA 2004
• Geometry constructions language
• A software tool for the investigation of plane loci
• LAD
• JSXGraph
• Lugares
• 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