Jesús Escribano

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

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

	2007
2		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		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

Coauthor Index