LAD

swMATH4859MaRDI QIDQ17014

No author found.

Described by source

• First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems

Related Items (2)

Automatic deduction in (dynamic) geometry: Loci computation ⋮ Unnamed Item

This page was built for software: LAD