LAD

MaRDI QIDQ17014swMATHFDO

Official website http://nash.sip.ucm.es/LAD/LAD.html

Described by source

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

Cited in

(12)

• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• I2Geo
• foaf
• GtkMathView
• Geometry Expressions
• jsMath
• NNexus
• STEX+
• Formulator MathML
• Lugares
• webDiscovery
• Automatic deduction in (dynamic) geometry: Loci computation

This page was built for software: LAD