Complutense University Library

IndexAuthor

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

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

Escribano Martínez, Jesús (2002) Approximation theorems in o-minimal structures. Illinois Journal of Mathematics, 46 (1). pp. 111-128. ISSN 0019-2082

Escribano Martínez, Jesús (2002) Bifurcation sets of definable functions in O-minimal structures. Proceedings of the American Mathematical Society, 130 . pp. 2419-2424. ISSN 0002-9939

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

Escribano Martínez, Jesús (2001) Nash triviality in families of Nash mappings. Annales de l'institut Fourier, 51 (5). pp. 1209-1228. ISSN 1777-5310

Escribano Martínez, Jesús (2003) Trivialidad definible de familias de aplicaciones definibles en estructuras o-minimales. [Thesis]

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 Thu Aug 21 03:18:01 2014 CEST.