LAD

swMATH4859MaRDI QIDQ17014FDOQ17014

Author name not available (Why is that?)

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