![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | Miguel A. Abánades, Jesús Escribano, Francisco Botana: First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. Calculemus/MKM 2007: 131-145 |
1 | EE | Francisco Botana, Miguel A. Abánades, Jesús Escribano: Computing Locus Equations for Standard Dynamic Geometry Environments. International Conference on Computational Science (2) 2007: 227-234 |
1 | Francisco Botana | [1] [2] |
2 | Jesús Escribano | [1] [2] |