LAD

swMATH4859MaRDI QIDQ17014FDOQ17014

Author name not available (Why is that?)

Described by source

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

Cited In (2)

• Title not available (Why is that?)
• Automatic deduction in (dynamic) geometry: Loci computation

This page was built for software: LAD