Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 6.

Escribano Martínez, Jesús and Abánades, Miguel A. and 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. and Joglar-Prieto, Nuria and 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 and Abánades, Miguel A. and 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 and Abánades, Miguel A. and 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. and Escribano Martínez, Jesús and 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. and Botana, Francisco and Escribano Martínez, Jesús and 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

This list was generated on Fri Oct 18 10:58:12 2019 CEST.