Matemática Aplicada 9
MA9
Universidad Complutense de Madrid
Madrid, EspañaPublicacions en col·laboració amb investigadors/es de Universidad Complutense de Madrid (15)
2016
-
Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas
Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94
-
Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"
Mathematics and Computers in Simulation
2015
-
Distintas herramientas para la enseñanza/ aprendizaje del concepto de lugar geométrico
Espacio de Trabajo Matemático: Cuarto Simposio Internacional ETM: del 30 de junio al 4 de julio de 2014, San Lorenzo de El Escorial, Madrid, España (Universidad Complutense de Madrid), pp. 261-282
2014
-
An algebraic taxonomy for locus computation in dynamic geometry
CAD Computer Aided Design, Vol. 56, pp. 22-33
-
Automated generation of equations for linkage loci in a game physics system
Technology, Knowledge and Learning, Vol. 19, Núm. 3, pp. 317-326
-
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications, Vol. 47, Núm. 1, pp. 75-89
-
Foreword to the special issue on "nonstandard applications of computer algebra"
Mathematics and Computers in Simulation
-
Software using the Gröbner cover for geometrical loci computation and classification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using a free open source software to teach mathematics
Computer Applications in Engineering Education, Vol. 22, Núm. 4, pp. 728-735
2013
-
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Exact internet accessible computation of paths of points in planar linkages and diagrams
Computer Applications in Engineering Education, Vol. 19, Núm. 4, pp. 835-841
-
Using free open source software for intelligent geometric computing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184
2007
-
Computing locus equations for standard dynamic geometry environments
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
First steps on using openMath to add proving capabilities to standard dynamic geometry systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)