Universidad Complutense de Madrid
E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 6.

Escribano Martínez, Jesús y Abánades, Miguel A. y Botana, Francisco (2010) Adding remote computational capabilities to dynamic geometry systems. Mathematics and computers in simulation, 80 (6). pp. 1177-1184. ISSN 0378-4754

Abánades, Miguel A. y Joglar-Prieto, Nuria y Ruiz Sancho, Jesús María (1999) Bounded meromorphic functions on compact real analytic sets. Journal of Pure and Applied Algebra , 142 (1). pp. 1-11. ISSN 0022-4049

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2007) Computing locus equations for standard dynamic geometry environments. In Computational Science – ICCS 2007. Lecture Notes in Computer Science (4488). Springer, pp. 227-234. ISBN 978-3-540-72585-5

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2011) Exact internet accessible computation of paths of points in planar linkages and diagrams. Computer applications in engineering education, 19 (4). pp. 835-841. ISSN 1061-3773

Abánades, Miguel A. y Escribano Martínez, Jesús y Botana, Francisco (2007) First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. In Towards Mechanized Mathematical Assistants. Lecture Notes in Computer Science (4573). Springer, pp. 131-145. ISBN 978-3-540-73083-5

Abánades, Miguel A. y Botana, Francisco y Escribano Martínez, Jesús y Valcarce, José L. (2011) Using free open source software for intelligent geometric computing. In Computational Science and Its Applications - ICCSA 2011. Lecture Notes in Computer Science (6785). Springer, pp. 353-367. ISBN 978-3-642-21897-2

Esta lista fue generada el Sat Jul 22 16:32:17 2017 CEST.