webDiscovery

MaRDI QIDQ22121swMATHFDO

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
• Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
• First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
• scientific article; zbMATH DE number 2009901 (Why is no real title available?)

This page was built for software: webDiscovery