| |
| 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] |