Login / Signup
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.
Miguel A. Abánades
Jesús Escribano
Francisco Botana
Published in:
Calculemus/MKM (2007)
Keyphrases
</>
management system
complex systems
case study
three dimensional
distributed systems
dynamic constraints
real time
data sets
databases
machine learning
data model
dynamic environments
building blocks
learning systems