Xeukleides

swMATH1025MaRDI QIDQ13769FDOQ13769

Author name not available (Why is that?)

Cited In (4)

• New dynamics in dynamic geometry: dragging constructed points
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• GeoThms -- a web system for Euclidean constructive geometry

This page was built for software: Xeukleides