PUBLICACIONES


 

CLAVE : L = libro completo, CL = capítulo de libro, A= artículo, R = review, E = editor.
 

AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Funtores de complección. REF. REVISTA/LIBRO: I Jornadas Matemáticas Luso-Españolas . Insituto Jorge Juan de Matemáticas. C.S.I.C, Madrid. 1972. CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Algunas consideraciones sobre el cono tangente. REF. REVISTA/LIBRO : Actas, I Jornadas Hispano-Lusas, Insituto Jorge Juan de Matemáticas. C.S.I.C., Madrid. 1973 CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Equisingularidad de una sección plana genérica. REF. REVISTA/LIBRO: Revista Hispano Americana-T.36-5-6,1976. CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Conjuntos Preanalíticos, Prenashicos y Prealgebraicos REF. REVISTA/LIBRO: Monografías y memorias de Matemáticas, Insituto Jorge Juan de Matemáticas. CSIC, Madrid.1977. CLAVE : L

AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Una descomposición de un conjunto semialgebraico. REF. REVISTA/LIBRO: V Cong. Intern. de Expresión Latina, Mallorca 1977, C.S.I.C. CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús; Espino Santana, Víctor. TÍTULO : Sobre las secciones hiperplanas de un conjunto algebraico real. REF. REVISTA/LIBRO: Revista Hispano Americana, T-39-4-5, 1979 CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO : Ordered Fields and Real Algebraic Geometry. REF. REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE : E

AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO : Order Extensions and Real Algebraic Geometry . REF. REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO : Subordinate Structure Sheaves. REF. REVISTA/LIBRO: Lecture Notes in Mathematics 959. Springer, 1982 CLAVE : A

AUTORES: Gamboa, J. M., Recio Muñiz, Tomás J.;  TÍTULO : Ordered Fields and the Dense Orbits Property. REF. REVISTA/LIBRO: J. Pure Applied Algebra 30, 1983 CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO : A Note on Robinson's nonnegativity criterion . REF. REVISTA/LIBRO: Fund. Math. 122, 1984. CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing the conditions for the existence of a real root. REF. REVISTA/LIBRO: Proc. Sem. Algebre Réelle. Paris VII, 1986 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Fernández, Fernando, Ruiz Sancho, Jesús. TÍTULO : Generalized Thom's Lemma in Semianalytic Geometry. REF. REVISTA/LIBRO: Bull. Acad. Pol. Sc., 1987. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Miranda, Isabel. TÍTULO :Thom's Lemma in Real Geometry. REF. REVISTA/LIBRO : Singularities. Banach Cent. Pub. V-20, 1987.  CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis Miguel. TÍTULO : Arboles Algebraicos: Un modelo de Computación en Geometría. (Contribuciones en memoria del Profesor E. Villar). REF. REVISTA/LIBRO: Un. de Cantabria Secret. Pub. (1988). CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis Miguel. TÍTULO : Rabin's width of a Complete Proof and the width of a semialgebraic set. REF. REVISTA/LIBRO: Lect.N. in Computer Sci. 378, Springer, 1989, pp.456-463 CLAVE : A

AUTORES: Recio Muñiz, Tomás J. ; Roy, M.F.; Raimondo, M.; Cucker, F.; Pardo, L.M. TÍTULO : Computation of the local and global analytic structure of a real curve. REF. REVISTA/LIBRO : Lect.N. in Computer Sci. 356, Springer, 1989, pp.161-182 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Gutierrez, J.; Ruiz de Velasco, C. TÍTULO : An almost quadratic polynomial decomposition algorithm.
REF. REVISTA/LIBRO: Lect.N. in Computer Sci. 357, Springer, 1989. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.; Lombardi, H. TÍTULO : Sturm-Habicht Sequence . REF. REVISTA/LIBRO: Proc. ACM-Issac-89, Portland Oregón 136-146. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.; Lombardi, H. TÍTULO : Specialisation de la suite de Sturm et sous-resultants. REF. REVISTA/LIBRO: Calsif Bull. n.305 pp. 48-101, 1989. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González Corbalán, A. TÍTULO : Shape invariant lists and realization as plane real algebraic curves with double points. REF. REVISTA/LIBRO: Springer Lect. Not in Math., 1420, pp.146-169. 1990. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.; Lombardi, H. TÍTULO : Specialisation de la suite de Sturm et sous-resultants,I. REF. REVISTA/LIBRO: Revue de Informatique Theorique Vol 24,6. 1990. pp. 561-588. CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Algebra y Geometría Computacional en el curriculum de Matemáticas . REF. REVISTA/LIBRO: Epsilon, n.16, 1990. CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing the conditions for the existence of a real root. REF. REVISTA/LIBRO: Seminarie sur les Structures Algebriques Ordonnes, Selection des Exposees 1984-87, Publications Mathematiques de l'Universite Paris VII, Paris, 1990, ISSN 0073-8301.

AUTORES: Recio Muñiz, Tomás J.; Mazón, M. TÍTULO : Voronoi diagrams coming from discrete groups on the plane. REF. REVISTA/LIBRO: Canadian Comp. Geometry. Ottawa Univ.,1990. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Pardo, L.m.; Montaña, J.L. TÍTULO : The non-scalar model of complexity in computational semialgebraic geometry. REF. REVISTA/LIBRO: Progress in Math. 94, Birkhauser, 1991 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : Some Algorithms from Real Algebraic Geometry for the Computation of Basic Problems in Robot Motion Planning. REF. REVISTA/LIBRO: Aportaciones Matematicas en memoria del Prof. Onieva. U. de Cantabria, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : The ROMIN inverse geometricmodel and the Dynamic evaluation method. REF. REVISTA/LIBRO: The SCAFI (Studies on Computer Algebra for Industry) papers. Wiley, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : El Algoritmo de Laumond Modificado para la Planificación de Tareas de Robots. REF. REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Mazón, M.L. TÍTULO : Diagramas de Voronoi en Caleidoscopios. REF. REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO :Geometría Algebraica y Geometría Computacional. REF. REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Heintz, J.; Roy, M.F. TÍTULO : Algorithms in Real Algebraic Geometry and Applications to Computational Geometry.REF. REVISTA/LIBRO: DIMACS (Dicrete Mathematics and Computer Sciences) series vol. 6, AMS, 1991. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J.  TÍTULO : Rational Function Decomposition and Grobner Bases in the Parametrization of Plane Curves. REF. REVISTA/LIBRO : LATIN 92, LN Computer Science 583, 1992. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J.   TÍTULO : A practical implementation of two rational function decomposition algorithms. REF. REVISTA/LIBRO : Proc. ISSAC'92, Berkeley ACM press. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.  TÍTULO : El cálculo simbólico autómatico y la enseñanza del álgebra elemental en el diseño curricular base. REF. REVISTA/LIBRO: SUMA, pag.13-28, 1993. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.; Santos, F.; Mazón M. TÍTULO : On the shape of planar Voronoi diagrams. REF. REVISTA/LIBRO: ACM press. Proc. 9th ACM Symposium on Computational Geometry. San Diego. 1993. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.; Santos, F.; Mazón M. TÍTULO : El problema isovoronoi para distancias estrictamente convexas en el plano. REF. REVISTA/LIBRO : Actas III encuentro de Geometria Computacional. Universidad de Zaragoza. Servicio de Publicaciones.1993. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.; Mazón M.  TÍTULO :Bisectores para una distancia estrictamente convexa en el plano. REF. REVISTA/LIBRO: Actas III encuentro de Geometria Computacional. Universidad de Zaragoza. Servicio de Publicaciones.1993. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : Path Tracking in Robotics. REF. REVISTA/LIBRO : Special Issue on Quantifier Elimination, Computer Journal, North Holland. Vol. 36,number 5,1993, pp.515-524 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : Formal Determination of Polynomial Consequences of Real Orthogonal Matrices. In: Recent advances in real algebraic geometry and quadratic forms:proceedings of the RAGSQUAD year REF. REVISTA/LIBRO : Contemp. Math.155, 1994, pp 141-165 . CLAVE : A

AUTORES: Andradas, C.; Recio Muñiz, Tomás J. TÍTULO : D.W. Dubois and the Pioneer Days of Real Algebraic Geometry. In: Recent advances in real algebraic geometry and quadratic forms:proceedings of the RAGSQUAD year REF. REVISTA/LIBRO: Contemp. Math.155, 1994 . CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Montaña, J.L; Pardo, L.M. TÍTULO : A note on Rabin's width of a complete proof.
REF. REVISTA/LIBRO: Computational Complexity,1994,pp.12-36. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.; Lombardi, H. TÍTULO : Specialisation de la suite de Sturm et sous-resultants, II. REF. REVISTA/LIBRO: Revue de Informatique Theorique 28,1,1994,pp 1-24. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Gónzalez López, M.J. TÍTULO : On the symbolic insimplification of the general 6R manipulator inverse kinematic equations. REF. REVISTA/LIBRO : Procceding of the International Symposisum on Symbolic and Algebraic Computation (ISSAC). Oxford, july, 1994. pp 354-358, ACM press. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Mazón M. TÍTULO : Voronoi Diagramas on Euclidean and Spherical 2-Orbifolds . REF. REVISTA/LIBRO: Proceedings of the Tenth European Workshop on Computational Geometry. 1994.Universidad de Cantabria. CLAVE : A

AUTORES: Recio T.; Gonzalez-Lopez, M.J. TÍTULO : Display of a straight line path for a 2R planar manipulator.
REF. REVISTA/LIBRO: Actas de la IV Conferencia Espanola de Informatica Grafica. Zaragoza, 1994, pp.1-9. CLAVE : A

AUTORES: Recio T.; Alonso, C; Gutierrez, J. TÍTULO : Simplificacion de curvas parametricas REF. REVISTA/LIBRO : Actas de la IV Conferencia Espanola de Informatica Grafica. Zaragoza, 1994, pp.95-101. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Mazón M; Santos, F. TÍTULO : Proceedings of the Tenth European Workshop on Computational Geometry. 1994. REF. REVISTA/LIBRO:. CLAVE : Editores

AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO : Real parametric curves: some symbolic algorithm issues.
REF. REVISTA/LIBRO:.14th IMACS (Institute for Mathematics and Computers in Simulation) World Symposium. Atlanta. 1994 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Alonso, C.,Gutierrez, J. TÍTULO : FRAC:A Maple package for computing in the rational functionn field K(x) REF. REVISTA/LIBRO: Maple V: Mathematics and applications, 1994, Ed. R. J. López, Birkhauser. pp 107-115 CLAVE : A

AUTORES: Recio Muñiz, Tomás J..; Gonzalez Lopez, M.J. TÍTULO :Symbolic simplification of kinematic equations. Rigid motion representation and the Stewart platform case. REF. REVISTA/LIBRO :Actas del Congreso Internacional de Teoria de Anillos. Ameria, 1993- Editores M.J. Asensio, B. Torrecillas, F. Van Oystaeyen. Universidad de Almeria. Servicio de Publicaciones.1995. CLAVE : CL

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : Voronoi Computability in SE(3). REF. REVISTA/LIBRO: Real Analytic and Algebraic Geometry. F. Broglia, M. Galbiati, A. Tognoli (eds). De Gruyter Proceedings in Mathematics. pp137-149,1995. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO : An implicitization algorithm with fewer variables .  REF. REVISTA/LIBRO:   Computer aided geometric design. 12, 1995, pp. 251-258. CLAVE : A

AUTORES: Recio Muñiz, Tomás Jesús;Gonzalez Lopez, M.J.. TÍTULO : On the reality of inverse kinematic ideals REF. REVISTA/LIBRO: Contributions to General Algebra 9. Verlag Holder-Pichler-Tempsky, Wien 1995-Verlag B.G. Teubner, Stuttgart. pp.183-195. CLAVE : CL

AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO : A rational function decomposition algorithm by near separated polynomials. REF. REVISTA/LIBRO:.Journal of Symbolic Computation 19,6,pp 527-544, june 1995. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO :Reconsidering algorithms for real parametric curves . REF. REVISTA/LIBRO: Journal of AAECC (Applicable Algebra in Engineering, Communication and Computing 6,1995,pp.345-352. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Gonzalez Lopez, M.J. .,Bochis, D. TÍTULO : Simulation program of the path tracking for any irredundant planar manipulator and the 6R manipulatorREF. REVISTA/LIBRO : Proceedings of the 11th European workshop on Computational Geometry. RISC-Linz, 1995 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Alonso, C; Gutierrez, J; TÍTULO : Trazado de Curvas Paramétricas sin Pérdida de Puntos en la Imagen. REF. REVISTA/LIBRO: Actas de la V Conferencia Española de Informática Gráfica. Mallorca. 1995, pp.133-142. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Alonso, C; Gutierrez, J; TÍTULO : Software on functional decomposition REF. REVISTA/LIBRO: Actas de la International Conference, Russian Academy of Sciences, Siberian Branch, AMCA (Advanced Mathematics, Computations and Applications),Novosibirsk, 1995 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; TÍTULO : Symbolic Computation in Robotics REF. REVISTA/LIBRO: Actas de los Encuentros Españoles de Algebra Computacional (1995, Santander) CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Sendra, J.R. TÍTULO : Reparametrizacion Real de curvas reales parametricas REF. REVISTA/LIBRO : Actas de los Encuentros Españoles de Algebra Computacional (1995, Santander), pp 159-168 CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Searching for lower bounds in computational geometry: a survery on methods . REF. REVISTA/LIBRO: Proceedings of the Encuentros Españoles de Geometria Computacional, Barcelona, 1995, Universidad Politecnica. CLAVE : A

AUTORES: González Vega, L; Recio Muñiz, Tomás J.; TÍTULO : Algorithms in Algebraic Geometry and Applications .
REF. REVISTA/LIBRO: Birkhauser, Progress in Mathematics, 143, (1996). Proc. MEGA 94. CLAVE : Editores

AUTORES: Recio Muñiz, Tomás J.; González-López, M.J.; Santos, F. TÍTULO : Parametrization of Semialgebraic Sets.
REF. REVISTA/LIBRO: Mathematics and Computers in Simulation (N-H, Elsevier), vol 46, issue, 4-6,353-362,(nov. 1996). CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Real algebraic numbers: A foreword to the papers presented at the special session. REF. REVISTA/LIBRO: Mathematics and Computers in Simulation (N-H, Elsevier), vol 46, issue, 4-6,539-540,(nov. 1996). CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Corbalán, A.G., Mazón,M. TÍTULO : Geometry of bisectors for strictly convex distances.
REF. REVISTA/LIBRO: International Journal of Computational Geometry and Applications,Vol 6, No 1, 1996,45-58. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Alonso, M. E. TÍTULO : Mario Raimondo contribution to Computer Algebra. REF. REVISTA/LIBRO : Lectures in real geometry. F.Broglia (ed). De Gruyter Expositions in Mathematics, Berlin, 1996. CLAVE : CL

AUTORES: Recio Muñiz, Tomás J.;Sendra, J. Rafael; TÍTULO : Real Reparametrizations of Real Curves. REF. REVISTA/LIBRO: JSC.23, 241-254, 1997. Special Issue on Parametric Algebraic Curves and Applications. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Mazón, M.; TÍTULO : Voronoi diagrams on orbifolds REF. REVISTA/LIBRO : Computational Geometry. Theory and Applications. 8, (1997). 219-230 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Sendra, J; TÍTULO : A really elementary proof of Real Luroth's Theorem REF. REVISTA/LIBRO : Revista Matematica de la Universidad Complutense de Madrid. Vol. 10, Numero Suplementario. 1997, 283-290. CLAVE : A

AUTORES:Andradas, C.; Recio Muñiz, Tomás J.;Sendra, J. R.. TÍTULO : A relatively optimal reparametrization algorithm .
REF. REVISTA/LIBRO: Proc. ISSAC 97. W. W. Küchlin, ed. ACM press. ISBN 0-89791-875-4 (1997). 349-355. CLAVE : A

AUTORES: Recio Muñiz, Tomás J.;Alonso, M.E.; Andradas, C.; Gamboa, J.M.; Ruiz, J.M. TÍTULO : Real Algebraic and Analytic Geometry. Proceedings Segovia 1995. REF. REVISTA/LIBRO : Revista Matematica de la Universidad Complutense de Madrid. Vol. 10, Numero Suplementario. 1997. CLAVE : E

AUTORES: Alonso, C, Gutierrez, J. Recio Muñiz, Tomás J.; TÍTULO :A note on separated factors of separated polynomials REF. REVISTA/LIBRO: Journal of Pure and Applied Algebra. vol 121, 217-222. 1997. CLAVE : A

AUTORES: Recio Muñiz, Tomás J. TÍTULO : Cálculo simbólico y geométricoREF. REVISTA/LIBRO : Editorial Síntesis. Madrid. 1998.isbn=84-7738-551-3 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.; Lombardi, H. TÍTULO : Sturm-Habicht Sequences, Determinants and Real Roots of Univariate Polynomials. REF. REVISTA/LIBRO : Quantifier Elimination and Cylindrical Algebraic Decomposition. Bob Caviness and Jeremy Johnson Eds. Series: Texts and Monographs in Symbolic Computation Publisher: Springer-Verlag, Wien, New York. 1998. ISBN: 3-211-82794-3 CLAVE : CL

AUTORES: Gutierrez, J.; Recio Muñiz, Tomás J.; TÍTULO : Advances on the simplification of sine-cosine polynomial equations.REF. REVISTA/LIBRO: Journal of Symbolic Computation, 26, 31-70, 1998. CLAVE :A

AUTORES: Recio Muñiz, Tomás J.; TÍTULO : Didactical relevance of meaningless mathematics REF. REVISTA/LIBRO : International Journal of Computer Algebra in Math Education IJCAME, vol.5, no. 1, 15-27. 1998. CLAVE : A

AUTORES:Gonzalez Lopez, M.J.; Recio Muñiz, Tomás J.; TÍTULO : Does Computer Algebra help at all learning about real numbers?REF. REVISTA/LIBRO: Mathematics and Computers in Simulation (N-H, Elsevier), vol 45 (1998) pp 185-195 CLAVE : A

AUTORES: Vélez, P.; Recio Muñiz, Tomás J.;Sterk H. TÍTULO : Project: Automated Geometry theorem proving . REF. REVISTA/LIBRO: In: Some Tapas of Computer Algebra, A.M. Cohen, H. Cuypers, H. Sterk (eds). Algorithms and Computations in Mathematics, Vol 4. Springer. 1999. isbn: 3-540-63480-0 CLAVE : CL

AUTORES: Vélez, P.; Recio Muñiz, Tomás J.; TÍTULO : Automatic Discovery of Theorems in Elementary Geometry . REF. REVISTA/LIBRO: Journal of Automated Reasoning 23: 63-82, 1999 CLAVE : A

AUTORES: Recio Muñiz, Tomás J.; Andradas, C. TÍTULO : Missing points and branches in real parametric curves.  REF. REVISTA/LIBRO: remitido al Computational Geometry:Theory and Applications. CLAVE :A

AUTORES: Recio Muñiz, Tomás J.; Andradas, C; Sendra, J.R. TÍTULO : Base field restriction techniques for parametric curves.
REF. REVISTA/LIBRO:ISSAC 1999 Proceedings. ACM press. CLAVE :A

AUTORES: Recio Muñiz, Tomás J.; Gutierrez, J. TÍTULO : Defining degenerate robots symbolically.  REF. REVISTA/LIBRO:  Mathematics and Computers in Simulation. Special Issue: Non standard applications of computer algebra (II), 441-449, vol.51, 5. 2000. CLAVE :A

AUTORES: Recio Muñiz, Tomás J.   TÍTULO : Tratamiento automático de la información geométrica. REF. REVISTA/LIBRO: UNO, vol. 20. Abril 1999. pp 63-75. ISSN:1135-6308 CLAVE :A

AUTORES: Recio Muñiz, Tomás J .  TÍTULO : Compass Avoidance.REF. REVISTA/LIBRO: Boletín no. 53, Sociedad Matemática Puig Adam, Octubre, 1999, pag 59-67. CLAVE :A


AUTORES: Recio Muñiz, Tomás J.  TÍTULO :  Cálculo Simbólico, Cálculo Formal, Algebra Computacional: qué es y para qué sirve.
REF. REVISTA/LIBRO:  Revista NUMEROS, vol. 43 y 44. Sept.- Dic. 2000.. CLAVE :A

AUTORES: Recio Muñiz, Tomás J.  TÍTULO :  CálculoSimbólico, Cálculo Formal, Algebra Computacional: qué es y para qué sirve.
REF. REVISTA/LIBRO:  En: Las Matemáticas del siglo XX. Una mirada en 101 artículos.  Antonio Martinón, editor.
Editorial NIVOLA.  Madrid, 2000, pp. 469-473. CLAVE:  CL

AUTORES: Recio Muñiz, Tomás J.; Santos, F. TÍTULO :  Johannes Kepler, empaquetamientos de esferas y el concepto matemáico de
demostración.  REF. REVISTA/LIBRO: En:   Fotografiando las matemáticas. Ed. Carroggio. Barcelona. 2000. CLAVE :CL

AUTORES: Recio Muñiz, Tomás J. TÍTULO : EDUCACION MATEMATICA: una oportunidad y una necesidad social.
REF. REVISTA/LIBRO: Temas relevantes de la matemática actual: el reto de la enseñanza secundaria.
Secretaría General Técnica. Central de Publicaciones del MEC / UIMP.  Madrid, 2000, pp.251-255.  CLAVE :CL

AUTORES: Recio Muñiz, Tomás J.; Pardo, L.M.. TÍTULO :  D. Pedro Abellanas y la falsa moneda
REF. REVISTA/LIBRO : Boletín de la Sociedad Matemática Puig Adam,  58, pp 78-93, 2001. CLAVE:A

AUTORES: Recio Muñiz, Tomás J.  TÍTULO :  D. Pedro Abellanas: cuarenta años de matemática española.
 REF. REVISTA/LIBRO: La Gaceta de la RSME, vol. 4.1, 2001, pp. 119-133. CLAVE:A
 AUTORES:: Recio Muñiz, Tomás J. ; Kerber, M.
TÍTULO : Journal of Symbolic Computation. Special Issue: Computer Algebra and Mechanized Reasoning.
 Selected St. Andrew's ISSAC/Calculemus 2000 Contributions.
REF. REVISTA/LIBRO: JSC, vol 32, Numbers 1 and 2, july/august 2001. Academic Press.  CLAVE:E

AUTORES:: Recio Muñiz, Tomás J. ;  González Vega, L.
TÍTULO : Industrial Applications of Computer Algebra: Climbing up a mountain, going down a hill.
REF. REVISTA/LIBRO: Proceedings 3 ECM (Third European Congress of Mathematics). Vol. 2, Progress in Mathematics, vol. 201, Birkhauser. 2001, pag. 157-169.
ISBN:=3-7643-6418-1.  CLAVE:CL

AUTORES:: Recio Muñiz, Tomás J ; Crespo, R.;  Gonzáez, S.; Guerrero, S.; de León, M.; Socas, M.;
Zuazua, E.
TÍTULO : La situación de la enseñanza de las matemáticas: un documento inicial..
REF. REVISTA/LIBRO: La Gaceta de la RSME, vol. 4, no. 3, 2001, pag. 410-509.
 CLAVE:A

AUTORES:: Recio Muñiz, Tomás J .
TÍTULO : Sobre la  enseñanza de las matemáicas en la educación secundaria española.
REF. REVISTA/LIBRO: SUMA 39, Febrero, 2002, pp. 5-11.
 CLAVE:A



\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  La mec\'anica de la demostraci\'on y la demostraci\'on mec\'anica.
\item{}{\ninerm REF. REVISTA/LIBRO:}  en E. Palaci\'an y J. Sancho (eds.): Actas X Jornadas para el
Aprendizaje y la Ense\~nanza de las Matem\'aticas,  Vol. I,  Sociedad Aragonesa de
Profesores de Matem\'aticas/ICE Universidad de Zaragoza, Zaragoza, pp.
189-212. 2002 (aparecido en sept. 2003).

ISBN (Obra completa): 84-7791-199-1,
ISBN (volumen I): 84-7791-200-9

 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  Reflexiones sobre las tutor{\'\i}as en la Facultades de Ciencias
\item{}{\ninerm REF. REVISTA/LIBRO:} Jornadas sobre tutor{\'\i}as y orientaci\'on. Moises Coriat Benarroch (ed). Universidad de
Granada.  2002. pp. 49-63. ISBN 84-333-2909-2.
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Romero, A.
\item{}{\ninerm TITULO :}  Conclusiones y Propuestas
\item{}{\ninerm REF. REVISTA/LIBRO:} Jornadas sobre tutor{\'\i}as y orientaci\'on. Moises Coriat Benarroch (ed). Universidad de
Granada.  2002. pp. 101-105. ISBN 84-333-2909-2.
 \hfill {\ninerm CLAVE :} A

\eject

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  Sobre "El problema de la Educaci\'on Matem\'atica y la doble ruptura de la Did\'actica de las Matem\'aticas"
de J. Gasc\'on.
\item{}{\ninerm REF. REVISTA/LIBRO:} La Gaceta de la RSME. 5.3. 2002.
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; L. Gonz\'alez-Vega
\item{}{\ninerm TITULO :}  Una introducci\'on al Algebra Computacional y a la Geometr{\'\i}al Algor{\'\i}tmica y a su incidencia en la
Secundaria y el Bachillerato
\item{}{\ninerm REF. REVISTA/LIBRO:} en De la artim\'etica al an\'alisis: historia y desarrollo recientes en matem\'aticas. Coordinado por E. Zuazua y R. Rodriguez del
R{\'\i}o. Ministerio de Educaci\'on y Ciencia. Secretar{\'\i}a General de Educaci\'on y Formaci\'on Profesional. Instituto Superior de Formaci\'on del Profesorado.
84-369-3845-3.2004.Madrid. pp 107-139.
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :} Los nuevos curr{\'\i}cula de Matem\'aticas en la Ense\~nanza Secundaria
\item{}{\ninerm REF. REVISTA/LIBRO:}Rodr{\'\i}guez del Rio-Zuazua, eds. en Bolet{\'\i}n Sema, 24, Jun. 2003, pp. 107-123
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :} Los nuevos curr{\'\i}cula de Matem\'aticas en la Ense\~nanza Secundaria
\item{}{\ninerm REF. REVISTA/LIBRO:}Rodr{\'\i}guez del Rio-Zuazua, eds. en La Gaceta de la RSME, 6.2, Jun. 2003
 \hfill {\ninerm CLAVE :} A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Sendra, R.; Villarino, C.
\item{}{\ninerm TITULO :} From Hypercircles to Units
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ISSAC 2004.
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  Mesa Redonda: situaci\'on y colaboraci\'on en materia educativa.
\item{}{\ninerm REF. REVISTA/LIBRO:} An\'alisis y perspectivas de la colaboraci\'on latinoamericana en matem\'aticas. L. Cordero, M. de Le\'on, M.  Fern\'andez y E.
Zuazua, eds. Publicaciones de la RSME. 2004. pp. 159-168.
 \hfill {\ninerm CLAVE :} A



\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Botana, F.
\item{}{\ninerm TITULO :}  Where the truth lies (in  automatic theorem proving in elementary geometry)
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ICCSA (International Conference on Computational Science and its Applications) 2004. Springer. Lec. Not. Com. Sci. 3044,
pp. 761-771
 \hfill {\ninerm CLAVE :} A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Sendra, J.R.; Andradas, C.
\item{}{\ninerm TITULO :}  La variedad de Weil para variedades unirracionales
\item{}{\ninerm REF. REVISTA/LIBRO:} Contribuciones Matem\'aticas. Homenaje al profesor Enrique Outerelo. pp. 33-53. Universidad Complutense. Madrid, 2004.
 \hfill {\ninerm CLAVE :} A




\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  Matem\'aticas y Tecnolog{\'\i}a en Secundaria y Bachillerato: una v{\'\i}a de dos direcciones que no recorre ning\'un tren.
\item{}{\ninerm REF. REVISTA/LIBRO:} Metodolog{\'\i}a y Aplicaciones de las Matem\'aticas en la E.S.O.. Ministerio de Educaci\'on y Ciencia. Instituto Sup. Formaci\'on Profesorado (2004). ISBN 84-369-3925-5. pg. 71-87-
 \hfill {\ninerm CLAVE :} A

\eject

 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; de Le\'on, Manuel
 \item{}{\ninerm TITULO :}  La presencia de las matem\'aticas en Espa\~na
\item{}{\ninerm REF. REVISTA/LIBRO:} Revista PMADRES (CEAPA). No. 82, Abril-Mayo 2005. pp. 38-41.
 \hfill {\ninerm CLAVE :} CL

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J., G\'omez Chac\'on, I.
\item{}{\ninerm TITULO :}  El legado educativo de Miguel de Guzm\'an: una visita virtual.
\item{}{\ninerm REF. REVISTA/LIBRO:} Usos matem\'aticos de Internet. Ministerio de Educaci\'on y Ciencia. Instituto Sup. Formaci\'on Profesorado (2005). ISBN 84-369-4141-1. pg. 179-193
 \hfill {\ninerm CLAVE :} A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  PISA 2003: Factores del rendimiento en matem\'aticas
\item{}{\ninerm REF. REVISTA/LIBRO:} VI Seminario de Primavera, 2005. Fundaci\'on Santillana.
La ense\~nanza de las Matem\'aticas y el Informe PISA (pendiente)
 \hfill {\ninerm CLAVE :} A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  PISA y la evaluaci\'on de las matem\'aticas
\item{}{\ninerm REF. REVISTA/LIBRO:}  Revista de Educaci\'on , ISSN 0034-8082 , Nº 1, 2006, pags. 263-273
 \hfill {\ninerm CLAVE :} A

 
 

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Botana, F.
\item{}{\ninerm TITULO :}  Towards solving the dynamic geometry bottleneck via a symbolic approach.
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ADG (Automatic Deduction in Geometry) 2004. Springer. Lec. Not. Artificial Intelligence LNAI 3763, 2006. pp. 761-771
 \hfill {\ninerm CLAVE :} A



\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Dalzotto, G.; Beltr\'an, C.
\item{}{\ninerm TITULO :}  The moment of truth (in automatic proving in elementary geometry)
\item{}{\ninerm REF. REVISTA/LIBRO:} Actas ADG 06. Universidad de Vigo. 2006.ISBN 84-611-2355-7. Editores: Francisco Botana y Eugenio Roanes-Lozano.  pp. 1-15.
 \hfill {\ninerm CLAVE :}A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Andradas, C.
\item{}{\ninerm TITULO :}  Missing points and branches in real parametric curves
\item{}{\ninerm REF. REVISTA/LIBRO:}  Journal of Applicable Algebra in Engineering, Communication and Computing (AAECC), Volume 18, Numbers 1-2 / February, 2007. pp- 107-126        
 \hfill {\ninerm CLAVE :}A



 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Maria Jose Gonz\'alez L\'opez.
\item{}{\ninerm TITULO :} Criterios de Calidad en Did\'actica de las Matem\'aticas
\item{}{\ninerm REF. REVISTA/LIBRO:}Revista Complutense de Educaci\'on,  
 ISSN 1130-2496, Servicio de Publicaciones de la Universidad Complutense.
 Vol. 18, Nº 1, 2007, pags. 159-178
 \hfill {\ninerm CLAVE :} A

 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :} La ciencia invisible
\item{}{\ninerm REF. REVISTA/LIBRO:}
Uno: Revista de didáctica de las matematicas, ISSN 1133-9853, Nº. 46, 2007 (Ejemplar dedicado a: Competencias y uso social de las matemáticas), pags. 9-24
 \hfill {\ninerm CLAVE :} A

 
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Montes, A..
\item{}{\ninerm TITULO :}  Automatic discovery of geometry theorems using minimal
canonical comprehensive Groebner systems
\item{}{\ninerm REF. REVISTA/LIBRO:}  LNAI (Lect. Notes Artificial Intelligence) 4869, pp. 113-139, 2007.
 \hfill {\ninerm CLAVE :}CL
 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :}  Competencia Obligatoria
\item{}{\ninerm REF. REVISTA/LIBRO:}  La Gaceta de la RSME, Vol. 11 (2008), Núm. 3, Págs. 559–571 \hfill {\ninerm CLAVE :}A
 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Corinne Hahn; Will Morony
\item{}{\ninerm TITULO :}  El papel de las sociedades profesionales
en la educación matem\'atica. Conclusiones del Grupo de Debate 28 en el ICME 11
\item{}{\ninerm REF. REVISTA/LIBRO:}  UNI\'ON, Diciembre de 2008, Número 16, p\'aginas 293-312
ISSN: 1815-0640
 \hfill {\ninerm CLAVE :}A

 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :}  Pr\'ologo
\item{}{\ninerm REF. REVISTA/LIBRO:}  En: COMPETENCIAS MATEM\'ATICAS DESDE
UNA PERSPECTIVA CURRICULAR. Luis Rico y Jose Luis Luipa\~ez. Alianza Editorial. 2008.
 \hfill {\ninerm CLAVE :}CL


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :}  El proyecto europeo de geometria dinamica Intergeo
\item{}{\ninerm REF. REVISTA/LIBRO:}  Boletin SMPC, pp 9-13, 10,  2008\hfill {\ninerm CLAVE :}A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :}  Sobre el descubrimiento autom\'atico de diversas generalizaciones del Teorema de Steiner-Lehmus
\item{}{\ninerm REF. REVISTA/LIBRO:}  Boletin Sociedad Matem\'atica Puig Adam, no. 82, (2009), pp. 53-76 \hfill {\ninerm CLAVE :}A
 

 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Rafael Sendra;  Carlos Andradas; Luis F. Tabera
\item{}{\ninerm TITULO :}  On the simplification of the coefficients of a parametrization
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Symbolic Computation
Volume 44, Issue 2, February 2009.
 \hfill {\ninerm CLAVE :} A
 
  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :}  LA EVALUACI\'ON DE LAS COMPETENCIAS MATEM\'ATICAS:
FACTORES ESCONDIDOS
\item{}{\ninerm REF. REVISTA/LIBRO:} Desarrollo de las competencias b\'asicas a trav\'es de las matem\'aticas.. Colecci\'on Aulas de Verano. Ministerio de Educaci\'on. Instituto Formaci\'on Profesorado, Investigaci\'on e Innovaci\'on educativa. (2009) pp. 189-207. ISBN 978-84-369-4756-4
 \hfill {\ninerm CLAVE :} CL


 

  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Generalizing circles over algebraic extensions
\item{}{\ninerm REF. REVISTA/LIBRO:} MATHEMATICS OF COMPUTATION
Volume 79, Number 270, April 2010, Pages 1067–1089
 \hfill {\ninerm CLAVE :}A
 

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Dalzotto, G.
\item{}{\ninerm TITULO :}  On protocols for the automated discovery of
theorems in elementary geometry
\item{}{\ninerm REF. REVISTA/LIBRO:}  Journal of Automated Reasoning (2009) 43: 203--236.
 \hfill {\ninerm CLAVE :}A
 
 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}  Recio Mu\~niz, Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Manual de Hiperc{\'\i}rculos.
\item{}{\ninerm REF. REVISTA/LIBRO:}  En: CONTRIBUCIONES CIENTIFICAS EN HONOR DE MIRIAN ANDR\'ES G\'OMEZ,
Laureano Lamb\'an, Ana Romero y Julio Rubio (Editores)
Universidad de La Rioja. Servicio de Publicaciones
Logro\~no, 2010,  ISBN 978-84-96487-50-5, pp. 417-439
 \hfill {\ninerm CLAVE :}CL

 
 \bigskip
\hrule
\bigskip
\item{} {\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.; Fioravanti, M.
\item{} {\ninerm TITULO:} The Intergeo Project
\item{} {\ninerm REF. REVISTA/LIBRO:}  Proceedings TIME 2010, M\'alaga, 2010
\hfill {\ninerm CLAVE :}CL

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :}  On the automatic discovery of Steiner-Lehmus generalizations
\item{}{\ninerm REF. REVISTA/LIBRO:}  Proceedings ADG 2010, (J. Richter-Gebert, P. Schreck, editors), pp.171-174, Munich, 2010 \hfill {\ninerm CLAVE :}A
 
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :}  Igualdad de bisectores internos y externos en tri\'angulos \item{}{\ninerm REF. REVISTA/LIBRO:}  Actas EACA 2010, (J.L. Freire, M. Ladra, editores), Santiago 2010 \hfill {\ninerm CLAVE :}CL

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :}  Equal bisectors at a vertex of a triangle
  \item{}{\ninerm REF. REVISTA/LIBRO:}  B. Murgante et al. (Eds.): ICCSA 2011, Part IV, LNCS 6785, pp. 328–341, 2011.  Springer-Verlag Berlin Heidelberg 2011.
 \hfill {\ninerm CLAVE :}CL

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Montes, A.
\item{}{\ninerm TITULO :}  Generalizing the Steiner-Lehmus theorem using the Gr\"obner cover
  \item{}{\ninerm REF. REVISTA/LIBRO:}  P. Ramos, V. Sacrist\'an (Eds.): Proceedings XIV Spanish Meeting on Computational Geometry. CRM Documents, no. 8. 2011, pp. 225-229. ISBN 2014-2323 \hfill {\ninerm CLAVE :}CL

  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}  Recio Mu\~niz, Tom\'as J.; Andradas, C;  Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Proper Real Reparametrization of Rational Ruled Surfaces
\item{}{\ninerm REF. REVISTA/LIBRO:}   Computer Aided Geometric Design 28 (2011) 102-113
 \hfill {\ninerm CLAVE :}A



 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}  Recio Mu\~niz, Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Algorithmic Detection of Hypercircles
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and Computers in Simulation 82 (2011) 54–67
 \hfill {\ninerm CLAVE :}A

   \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Arranz, J.M.; Losada, R; Mora, J.A. ; Sada, M. \item{}{\ninerm TITULO :}  Modeling the cube using GeoGebra.
\item{}{\ninerm REF. REVISTA/LIBRO:} Modeling the cube using GeoGebra. In L. Bu \& R. Schoen (Eds.), Model-Centered Learning: Pathways to mathematical understanding using GeoGebra (pp. 119-131). Rotterdam: Sense Publishers. 2011.

 \hfill {\ninerm CLAVE :}CL
 
 .

  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; V\'elez, P.
\item{}{\ninerm TITULO :}  An Introduction to Automated Discovery in
Geometry through Symbolic Computation
\item{}{\ninerm REF. REVISTA/LIBRO:}  Numerical and Symbolic Scientific Computing: Progress and Prospects" (U. Langer, P. Paule, Editors.
 Springer, Series: Texts and Monographs in Symbolic Computation
2011, ISBN 978-3-7091-0793-5,  Vienna,  New York)
 \hfill {\ninerm CLAVE :}CL

 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Losada, R.
\item{}{\ninerm TITULO :}  Descubrimiento autom\'atico en un problema centenario
\item{}{\ninerm REF. REVISTA/LIBRO:}  La Gaceta de la RSME, Vol. 14 (2011), N\'um. 4, P\'ags. 693-702
 \hfill {\ninerm CLAVE :}A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; J. Trgalova, U. Kortenkamp, A. P. Jahn, P. Libbrecht, Ch. Mercat, S. Soury-Lavergne.
 \item{}{\ninerm TITULO :}  i2geo.net, a platform for sharing dynamic geometry resources all over Europe, item{}{\ninerm REF. REVISTA/LIBRO:} Poster at the CERME7 Conference, Rzeszow (Poland) Feb. 9-13 2011.  http://i2geo.net/xwiki/bin/download/Main/Proceedings/CERME7poster.pdf
  \hfill {\ninerm CLAVE :}A


  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;  Botana, F;  Montes, A.
\item{}{\ninerm TITULO :}   An Algorithm for Automatic Discovery of Algebraic Loci. Extended Abstract
\item{}{\ninerm REF. REVISTA/LIBRO:} En Proceedings 9th ADG. Informatics Research Reports. School of Informatics. University of Edinburgh. 2012. pp. 53-61.
 \hfill {\ninerm CLAVE :}A


\bigskip
\hrule
\bigskip
\item{}{\ninerm EDITORES:}    Recio Mu\~niz, Tom\'as J. (Associated Editor from the TMJ board);  Botana, F. (Guest Editor)
\item{}{\ninerm TITULO :}   Special Issue on Symbolic computation with Sage in mathematical education and research
\item{}{\ninerm REF. REVISTA/LIBRO:}  Tbilisi Mathematica Journal, Vol. 5, no. 2, 2012.
 \hfill {\ninerm CLAVE :}Editores.



 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.
\item{}{\ninerm TITULO :} A prop\'osito de la envolvente de una familia de elipses
\item{}{\ninerm REF. REVISTA/LIBRO:} N\'umero Especial en Memoria Prof. J.J. Etayo Miqueo.  Bolet{\'\i}n de la Sociedad Puig Adam, no. 95,  octubre 2013,  pp 15-30.
 \hfill {\ninerm CLAVE :}A

  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions
\item{}{\ninerm REF. REVISTA/LIBRO:}  Mathematics and Computers in Simulation, Vol 104, Oct. 2014, pp. 43-57.
Available online 1 June 2013. DOI: 10.1016/j.matcom.2013.03.013.

 \hfill {\ninerm CLAVE :}A
 
  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Montes, A.
\item{}{\ninerm TITULO :}   Generalizing the Steiner-Lehmus Theorem using the Gr\"obner Cover
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and Computers in Simulation, Vol. 104, Oct. 2014, pp. 67-81.
 Available online 16 August 2013. DOI: 10.1016/j.matcom.2013.06.006
 \hfill {\ninerm CLAVE :}A
 

  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Andradas, C;  Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}   Reparametrizing Swung Surfaces over the Reals
\item{}{\ninerm REF. REVISTA/LIBRO:} Applicable Algebra in Engineering, Communication and Computing
April 2014, Volume 25, Issue 1-2, pp 39-65
 \hfill {\ninerm CLAVE :}A


 
 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;  Abanades, M.;  Botana, F.; Montes, A.
\item{}{\ninerm TITULO :}  An algebraic taxonomy for locus computation in dynamic geometry
\item{}{\ninerm REF. REVISTA/LIBRO:} Computer-Aided Design 56 (2014) 22-33. DOI information: 10.1016/j.cad.2014.06.008
 \hfill {\ninerm CLAVE :}A
 

 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.; Ab\'anades, M.A.; Montes, A.
\item{}{\ninerm TITULO :}  Software using the Gr\"obner Cover for geometrical loci computation and classification.
\item{}{\ninerm REF. REVISTA/LIBRO:}  H. Hong and C. Yap (Eds.): Lecture Notes in Computer Science,  8592 (2014). Proceedings of the IV International Conference on Mathematical Software (IV ICMS, Seoul), pp. 492-499. Springer, Heidelberg (2014).
 \hfill {\ninerm CLAVE :}A

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.
\item{}{\ninerm TITULO :}  Using Maple's RegularChains library to automatically classify plane geometric loci.
\item{}{\ninerm REF. REVISTA/LIBRO:}  H. Hong and C. Yap (Eds.): Lecture Notes in Computer Science,  8592 (2014). Proceedings of the IV International Conference on Mathematical Software (IV ICMS, Seoul), pp. 500--503. Springer, Heidelberg (2014).
 \hfill {\ninerm CLAVE :}A

 
  \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;  Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  Ultraquadrics associated to affine and projective automorphisms
\item{}{\ninerm REF. REVISTA/LIBRO:}  Applicable Algebra in Engineering, Communication and Computing: Volume 25, Issue 6 (2014), Page 431-445   
 \hfill {\ninerm CLAVE :}A


 \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.;  Hohenwarter, M.; Janicic, J.; Kovacs, Z.; Petrovic, I.; Weitzhofer, S.
\item{}{\ninerm TITULO :}   Automated Theorem Proving in GeoGebra: Current Achievements
\item{}{\ninerm REF. REVISTA/LIBRO:}  Journal of Automated Reasoning, June 2015, Volume 55, Issue 1, pp 39-59
 DOI: http://dx.doi.org/10.1007/s10817-015-9326-4
 \hfill {\ninerm CLAVE :}A


   \bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Sebastian Bauer, José M. Diego, Claudia Lazaro, Sue Pope, Ornella Robutti, Jaime Carvalho e Silva, Ana M. Vieira 
\item{}{\ninerm TITULO :}  Cooperation and innovation for good practices: teachers and researchers understanding mathematics in PISA (trump),
item{}{\ninerm REF. REVISTA/LIBRO:} Poster at the CERME9 Conference, Prague, Czech Republic, Feb. 4-8,  2015.  In: CERME9 Proceedings of the Ninth Congress of the European Society for Research in Mathematics Education. Editors: Konrad Krainer, Nada Vondrova. Edited by Charles University in Prague, Faculty of Education and ERME.  Prague, Czech Republic ISBN: 978-80-7290-844-8.  pp. 1774-1776
https://www.dropbox.com/sh/pl0x4bhmkstcvd0/AAARtVy7NMLCTtV8N9LhR-ICa/TWG11 Poster Bauer et al.pdf?dl=0
  \hfill {\ninerm CLAVE :}A

 
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.; Philippe R. Richard; Laurent Vivier
\item{}{\ninerm TITULO :}  Especificidad de las herramientas y signos en el trabajo matem\'atico. Specific tools and signs in the mathematical work. Sp\'ecifit\'e des outils et des signes dans le travail math\'ematique
item{}{\ninerm REF. REVISTA/LIBRO:} Actas Cuarto Simposio Internacional ETM. Proceedings Fourth ETM Symposium. Actes Quatri\'eme Symposium ETM.  I. G\'omez Chac\'on et. al.,  Eds.  Instituto de Matem\'atica Interdisciplinar. Universidad Complutense de Madrid.  2015. ISBN: 978-84-606-9475-5
  \hfill {\ninerm CLAVE :}E


 

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;  Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :}  On Tubular vs. Swung surfaces
\item{}{\ninerm REF. REVISTA/LIBRO:}  Journal of Symbolic Computation, 72, (2016), pp 55-64,   doi:10.1016/j.jsc.2014.12.003
 \hfill {\ninerm CLAVE :}A



\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.
\item{}{\ninerm TITULO :}  Some issues on the automatic computation of plane envelopes in interactive environments
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and Computers in Simulation  (2016), pp. 115-125
DOI information: 10.1016/j.matcom.2014.05.011.
 \hfill {\ninerm CLAVE :}A

 

 
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.
\item{}{\ninerm TITULO :} On the unavoidable uncertainty of truth in dynamic geometry proving
\item{}{\ninerm REF. REVISTA/LIBRO:}  Mathematics in Computer Science, 10(1), 5-25, 2016.
http://link.springer.com/article/10.1007/s11786-016-0246-4 
\hfill {\ninerm CLAVE :}A


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.;  Mallavibarrena, R.
\item{}{\ninerm TITULO :}  Historia de ICMI.es. Contribuci\'on de Luis Rico.
 \item{}{\ninerm REF. REVISTA/LIBRO:}  La Gaceta de la RSME, 19.2, 2016 \hfill {\ninerm CLAVE :}A
 
  \hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Miguel A. Ab\'anades, Francisco Botana, Zolt\'an Kovács and Csilla S\'olyom-Gecse.
\item{} {\ninerm TITULO : } Automated discovery of elementary geometry theorems: First steps.
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ICMS,  Berlin 2016.  Volume 9725 of Springer Lecture Notes in Computer Science (LNCS), pp.37-42.
 \hfill {\ninerm CLAVE :}A


       \hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Miguel A. Ab\'anades, Francisco Botana, Zolt\'an Kovács and Csilla S\'olyom-Gecse.
  \item{} {\ninerm TITULO : } ``Development of automatic reasoning tools in GeoGebra".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Software Demo Award at ISSAC 2016. }  ACM Communications in Computer Algebra. Volume 50 Issue 3, September 2016. Pages: 85-88
\hfill {\ninerm CLAVE :}A
  
 
   \hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Markus Hohenwarter and Zolt\'an Kov\'acs.
  \item{} {\ninerm TITULO : } ``Deciding geometric properties symbolically  in GeoGebra".
   \item{}{\ninerm REF. REVISTA/LIBRO:} $R\&E$-SOURCE  ({http://journal.ph-noe.ac.at})
   Open Online Journal for Research and Education
Special Issue no.6, March 2017, ISSN: 2313-1640
  \hfill {\ninerm CLAVE :}A


 
\item{}{\ninerm AUTORES:}    Recio Mu\~niz, Tom\'as J.;   Botana, F.
\item{}{\ninerm TITULO :}  Computing envelopes in dynamic geometry environments
\item{}{\ninerm REF. REVISTA/LIBRO:}  AMAI (Annals of Mathematics and Artificial Intelligence), May 2017, Volume 80, Issue 1, pp 3–20.
http://link.springer.com/article/10.1007/s10472-016-9500-3
 \hfill {\ninerm CLAVE :}A




\item{}{\ninerm AUTORES:}    Zolt\'an Kov\'acs, Tom\'as Recio, Philippe R. Richard, M. Pilar V\'elez
\item{}{\ninerm TITULO :}  GEOGEBRA AUTOMATED REASONING TOOLS: A TUTORIAL WITH EXAMPLES (ABSTRACT)
\item{}{\ninerm REF. REVISTA/LIBRO:} PROCEEDINGS  International Conference on Technology in Mathematics Teaching ICTMT 13 Lyon 2017. G. Aldon, J. Trgalov\'a, editors. pp. 400-404. Available at  https://ictmt13.sciencesconf.org/data/pages/proceedings(underscore)compressed(underscore)1.pdf
https://hal.archives-ouvertes.fr/hal-01632970
\hfill {\ninerm CLAVE :}A

 

\item{}{\ninerm AUTORES:}  Tom\'as Recio
\item{}{\ninerm TITULO :}  Automated Reasoning Tools in GeoGebra
\item{}{\ninerm REF. REVISTA/LIBRO:} FoCM: Workshop on Computational Algebraic Geometry, pag. 40-42. Oct. 2017, (electronic version available at  {http://www.ub.edu/focm2017/content/FoCM2017-Book.pdf} )
 \hfill {\ninerm CLAVE :}A



\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Jean-Baptiste Lagrange, Universit\'e Paris Diderot, France, Tom\'as Recio, Universidad de Cantabria, Espa\~na, Philippe R. Richard, Universit\'e de Montr\'eal, Canada, Laurent Vivier, Universit\'e Paris Diderot, France.
\item{}{\ninerm TITULO :}  Especificidad de las herramientas y signos en el trabajo matem\'atico. Specificities of tools and signs in the mathematical work. Sp\'ecifit\'e des outils et des signes dans le travail math\'ematique
item{}{\ninerm REF. REVISTA/LIBRO:} Actas Quinto Simposio Internacional ETM. Proceedings Fifth ETM Symposium. Actes Cinqui\'eme Symposium ETM. University of Western Macedonia, Florina, Greece. 2017. Inés María Gómez-Chacón, Alain Kuzniak,  Kostas Nikolantonakis,  Philippe R. Richard,  Laurent Vivier, Editors. pp 207-241. Facultad Educacion de la U. Macedonia Oeste, Florina. Grecia. Sept. 2017.  ISBN 978-618-81047-5-4.
{http://etm5.web.uowm.gr/wp-content/uploads/2017/10/ETM5-FIN.pdf}
 \hfill {\ninerm CLAVE :}A



\hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Pardo Vasallo, Luis Miguel.
  \item{} {\ninerm TITULO : } ``El devenir de los ideales".
   \item{}{\ninerm REF. REVISTA/LIBRO:} En: ``Ejemplos Nebrija: M. Jos\'e Garbayo Moreno'', M. Pilar V\'elez, (coord). Fundaci\'on Antonio de Nebrija. (2018). Servicio de Publicaciones.  ISBN: 978-84-88957-75-7
    \hfill {\ninerm CLAVE :}A



\hrule
\bigskip
  \item{} {\ninerm AUTORES :} Z. Kov\'acs, T. Recio, P. V\'elez:
\item{} {\ninerm TITULO : } "Detecting truth, just on parts, in automated reasoning in geometry"
 \item{}{\ninerm REF. REVISTA/LIBRO:} 24th Conference on Applications of Computer Algebra - ACA 2018: Proceedings, Applications of Computer Algebra, Santiago de Compostela, Spain, June 18-22, 2018 Editors: Francisco Botana, Felipe Gago and Manuel Ladra González. ISBN-13 (15) 978-84-16954-87-2. Servicio de Publicaciones. Universidad de Santiago de Compostela. Spain. Pages: 32-36.
Electronico Code:  JP (27).  http://dx.doi.org/10.15304/9788416954872   http://www.usc.es/libros/index.php/spic/catalog/book/1151
\hfill {\ninerm CLAVE :} A

\hrule
\bigskip 
 \item{} {\ninerm AUTORES :}  Z. Kov\'acs, T. Recio, P. V\'elez:
\item{} {\ninerm TITULO : }"ENUNCIADOS NI CIERTOS NI FALSOS EN RAZONAMIENTO AUTOMÁTICO EN GEOMETRÍA". 
  \item{}{\ninerm REF. REVISTA/LIBRO:} Monografías de la Real Academia de Ciencias. Zaragoza. 43: 99–102, (2018). ISSN: 1132-6360.  https://eventos.unizar.es/_files/_event/_15634/_editorFiles/file/Speakers/Velez.pdf
\hfill {\ninerm CLAVE :} A


\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Zolt\'an Kov\'acs, Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
\item{}{\ninerm REF. REVISTA/LIBRO:} International Journal of Technology in Mathematic Education.  Vol. 25, no. 2. pp. 33-50. 2018.
  http://www.researchinformation.co.uk/time/contents/timecont.php
\hfill {\ninerm CLAVE :} A


\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Sendra, R.; Villarino, C.
\item{}{\ninerm TITULO :} The importance of being zero
\item{}{\ninerm REF. REVISTA/LIBRO:} ACM. Proceedings ISSAC 2018.  ISBN 978-1-4503-5550-6/18/07. pp. 327-333
https://doi.org/10.1145/3208976.3208981
 \hfill {\ninerm CLAVE :} A



\hrule
\bigskip
\item{}{\ninerm AUTORES:} Botana F., Kovács Z., Recio T. (2018): Towards an Automated Geometer.
In: Fleuriot J., Wang D., Calmet J. (eds)  Artificial Intelligence and Symbolic Computation. AISC 2018.
Lecture Notes in Computer Science, vol 11110. Springer, Cham. pp 215-220.
https://doi.org/10.1007/978-3-319-99957-9_15
 \hfill {\ninerm CLAVE :} A
 


\hrule
\bigskip
\item{}{\ninerm AUTORES:}    Beatrix Hauer, Zolt\'an Kov\'acs, Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Automated reasoning in elementary geometry: towards inquiry learning.
\item{}{\ninerm REF. REVISTA/LIBRO:}Paedagogische Horizonte. 2(2),pp. 27-39, 2018. ISSN 2523-5656 (Online), ISSN 2523-2916 (Print).


\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Francisco Botana,  Tom\'as Recio
\item{}{\ninerm TITULO :} A proposal for the automatic computation of envelopes of families of plane curves
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Systems Science and Complexity 32(1):150-157. February 2019. DOI: 10.1007/s11424-019-8341-7


\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Zolt\'an Kov\'acs and Csilla S\'olyom-Gecse.
  \item{} {\ninerm TITULO : } ``Rewriting input expressions in complex algebraic geometry provers".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Ann Math Artif Intell (2019) April 2019, Volume 85, Issue 2–4, pp 73–87. 
    https://doi.org/10.1007/s10472-018-9590-1  Available at  https://rdcu.be/SEoU


\item{}{\ninerm AUTORES:}    Zolt\'an Kov\'acs, Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Detecting truth, just on parts.
\item{}{\ninerm REF. REVISTA/LIBRO:}Revista Matem\'atica Complutense,
Volume 32, Issue 2, May 2019. pp. 451-474 Available here
DOI: 10.1007/s13163-018-0286-1
\hfill {\ninerm CLAVE :} A


\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Markus Hohenwarter and Zolt\'an Kov\'acs.
  \item{} {\ninerm TITULO : } ``Determinando propiedades geom\'etricas simb\'olicamente con GeoGebra".
   \item{}{\ninerm REF. REVISTA/LIBRO:} N\'umeros, Revista de Did\'actica de las Matem\'aticas,
 http://www.sinewton.org/numeros, ISSN: 1887-1984, Volumen 100, mayo de 2019, pp 79-84
  \hfill {\ninerm CLAVE :}A Artículo Números


\item{} {\ninerm AUTORES :}  Blanco,  Jose Carlos; L\'azaro, Claudia.; Recio, Tom\'as
  \item{} {\ninerm TITULO : } ``El proyecto MoMaTrE: Paseos matemáticos con m\'ovil por Europa".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Bolet{\'\i}n de la Sociedad Matem\'atica de Profesores de Cantabria, 19, mayo 2019, pp. 6-8.
  \hfill {\ninerm CLAVE :}A


\item{} {\ninerm AUTORES :}  Davenport, J., Fleuriot, J., Quaresma, P., Recio, T.,  Wang, D.
  \item{} {\ninerm TITULO : } ``Intelligent Geometry Tools".
   \item{}{\ninerm REF. REVISTA/LIBRO:} In Electronic Proceedings Theoretical Computer Science.Vol. 311. Dec. 2019.
  DOI: 10.4204/EPTCS.311.8
     http://eptcs.web.cse.unsw.edu.au/content.cgi?ARCADE2019



\item{}{\ninerm AUTORES:}    Tom\'as Recio, Philippe R. Richard, M. Pilar V\'elez
\item{}{\ninerm TITULO :}  Designing Tasks Supported by GeoGebra Automated Reasoning Tools for the Development of Mathematical Skills
\item{}{\ninerm REF. REVISTA/LIBRO:} International Journal of Technology in Mathematics Education, 2019,  Vol 26, No 2, pp. 81-89
 \hfill {\ninerm CLAVE :}A


\item{}{\ninerm AUTORES:} M. Hohenwarter, Zolt\'an Kov\'acs, Tom\'as Recio
\item{}{\ninerm TITULO :} Using GeoGebra Automated Reasoning Tools to explore geometric statements and conjectures
\item{}{\ninerm REF. REVISTA/LIBRO:} In Hanna, G., de Villiers, M., Reid, D. (Eds.), Proof Technology in Mathematics Research and Teaching, Series: Mathematics Education in the Digital Era, Vol. 14, 2019,  p. 215-236.  Springer Cham. https://doi.org/10.1007/978-3-030-28483-1underscore10


\item{}{\ninerm AUTORES:} Francisco Botana, Zolt\'an Kov\'acs, \'Alvaro Mart{\'\i}nez-Sevilla, Tom\'as Recio
\item{}{\ninerm TITULO :} Automatically Augmented Reality with GeoGebra
\item{}{\ninerm REF. REVISTA/LIBRO:} In: Theodosia Prodromou (Ed.),  Augmented Reality in Educational Settings,, Brill-Sense. Nov. 2019. 
https://doi.org/10.1163/9789004408845

\item{}{\ninerm AUTORES:}  Gomez-Diaz, T. and Recio, T.: On the evaluation of research software: the CDUR procedure. [version 2, peer review: 2 approved). F1000 Research 2019, 8, 1353


\item{}{\ninerm AUTORES:} Encarnaci\'on Amaro Parrado, Jose Carlos Blanco Real, Claudia L\'azaro, Tom\'as Recio
\item{}{\ninerm TITULO :} MathCityMap: paseos matem\'aticos a través de dispositivos m\'oviles
\item{}{\ninerm REF. REVISTA/LIBRO:}  Actas Congreso Iberoamericano, Formaci\'on IB: La educaci\'on ante el nuevo entorno digital. Dic. 2019. ISBN 978-84-948417-1-2
http://formacionib.org/congreso-entorno-digital/actas.html

\item{}{\ninerm AUTORES:} Tom\'as Recio, Steven Van Vaerenbergh, M.P. V\'elez
\item{}{\ninerm TITULO :} Herramientas de Razonamiento Autom\'atico en GeoGebra: qu\'e son y para qu\'e sirven
\item{}{\ninerm REF. REVISTA/LIBRO:}  Actas Congreso Iberoamericano, Formaci\'on IB: La educaci\'on ante el nuevo entorno digital. Dic. 2019. ISBN 978-84-948417-1-2
http://formacionib.org/congreso-entorno-digital/actas.html




\item{}{\ninerm AUTORES:} Simone Jablonski, Claudia L\'azaro del Pozo, Matthias Ludwig, Tom\'as Recio
\item{}{\ninerm TITULO :} MathCityMap, paseos matem\'aticos a trav\'es de dispositivos m\'oviles
\item{}{\ninerm REF. REVISTA/LIBRO:} Uno Revista de Did\'actica de las Matem\'aticas. No. 87, enero 2020, pp. 47-54
https://www.grao.com/es/producto/mathcitymap-paseos-matematicos-a-traves-de-dispositivos-moviles-un08797755



\item{}{\ninerm AUTORES:} Francisco Botana, Zolt\'an Kov\'acs, Tom\'as Recio
\item{}{\ninerm TITULO :} Foreword. Special issue on dynamic geometry and automated reasoning
\item{}{\ninerm REF. REVISTA/LIBRO:} J. Symb. Comput. (2020), Vol. 97, March-April 2020,  Pages 1-2, 
https://doi.org/10.1016/j.jsc.2018.12.001


item{}{\ninerm AUTORES:} Zolt\'an Kov\'acs, Tom\'as Recio, M. Pilar V\'elez:
 \item{}{\ninerm TITULO :} Reasoning about linkages with dynamic geometry.
\item{}{\ninerm REF. REVISTA/LIBRO:} J. Symb. Comput.   Volume 97, March -- April 2020, Pages 16-30,
https://doi.org/10.1016/j.jsc.2018.12.003

CV Resume Tomas Recio june 2020

Botana F.; Kovács Z. and Recio T.: “Automatically Augmented Reality for Outdoor Mathematics”. In: Research on Outdoor STEM Education in the digiTal Age. Proceedings of the ROSETA Online Conference in June 2020. Matthias Ludwig, Simone Jablonski, Amélia Caldeira and Ana Moura (Editors). WTM – Verlag für wissenschaftliche Texte und Medien, Münster 2020. Conference Proceedings in Mathematics Education (6), pages 71-78. https://doi.org/10.37626/GA9783959871440.0

CV Resume Tomas Recio june 2020

Botana, F.; Kovács, Z.; Recio, T.; Vélez, M. P.: “Hacia un autómata geómetra”. La Gaceta de la Real Sociedad Matemática Española, Vol. 23 (2020), Núm. 2, Págs. 343– 371. http://gaceta.rsme.es/vernumero.php?id=114

 CV Resume Tomas Recio june 2020

CV Resume Tomas Recio sept 2020

Recio, T.; Van Vaerenbergh, S.; Vélez, M. P.: “Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven”. Unión, Revista Iberoamericana de Educación Matemática. Año XVI - Número 59. Agosto 2020, páginas 08-15. https://union.fespm.es/index.php/UNION/article/view/202

Gomez-Diaz, T. and Recio T.: “A policy and legal Open Science framework: a proposal”. POLIS, No. 19, 2020, pp 5-25,  https://uet.edu.al/polis/wp-content/uploads/2022/01/polis-19.pdf



CV Resume Tomas Recio sept 2020

Kovács, Z; Lichtenegger, B.;   Recio, T.; Richard P. R.; Vélez, M.P.: “Exploring artwork through Delaunay triangulations”. In: Annie Savard, Rebecca Pearce (eds.), MACAS  in the Digital Era: Proceedings of the 2019 MACAS (Mathematics and its Connections to the Arts and Sciences) Symposium, Montreal, Quebec. Sept. 2020. https://mcgill.ca/macas2019/proceedings

Ladra, M.; Páez-Guillán, P.; Recio, T.: “Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch’s trick.” Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. RACSAM 114 (4), (Oct. 2020). https://doi.org/10.1007/s13398-020-00874-8
 
Carrillo de Albornoz y Torres, A.; Recio, T.: “De curva a curva, con GeoGebra”. Boletín de la Sociedad Puig Adam de Profesores de Matemáticas, vol. 110. Oct. 2020. pp. 8--26.


Kovács Z.; Recio T.: “Alternative Solutions and Comments to the Problem Corner-- October 2020 issue”. The Electronic Journal of Mathematics and Technology (eJMT).
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf


Kovács, Z.; Recio, T.; Richard, P.R.; Van Vaerenbergh S.; Vélez, M.P.: “Towards an Ecosystem for Computer-Supported Geometric Reasoning”. International Journal of Mathematical Education in Science and Technology. Nov. 2, 2020 (on-line).  Volume 53, Issue 7, pp. 1701-1710, 2022

https://doi.org/10.1080/0020739X.2020.1837400

Kovács Z.; Recio T.: “GeoGebra reasoning tools for humans and for automatons”. Electronic Proceedings of the 25th Asian Technology Conference in Mathematics, December 14-16, 2020. ISSN 1940-4204 (online version).

http://atcm.mathandtech.org/EP2020/invited/21786.pdf

Gomez-Diaz T, Recio T.: “Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture)”. Research Ideas and Outcomes (RIO Journal) 7: e63872. https://doi.org/10.3897/rio.7.e63872 (05 Feb. 2021)

Etayo-Gordejuela, F.; de Lucas-Sanz, N.; Recio, T.; Vélez, M.P.: “Inventando teoremas con GeoGebra: un nuevo Teorema de la Altura”, Boletín de la Soc. Puig Adam, No. 111, Abril 2021, pp. 8—27.

 

Kovács, Z.; Recio, T.; Vélez, M. P.:"Merging Maple and GeoGebra Automated Reasoning Tools". In: Corless R.M., Gerhard J., Kotsireas I.S. (eds,) Maple in Mathematics Education and Research. MC 2020. Communications in Computer and Information Science, vol 1414. Springer, Cham, 2021.  https://doi.org/10.1007/978-3-030-81698-8_17


Barlovits, S.; Jablonski, S.; Lázaro del Pozo, C.; Ludwig, M.; Recio, T.: “Teaching from a Distance – Math Lessons during COVID-19 in Germany and Spain”. Educ. Sci. 2021, 11, 406, https://doi.org/10.3390/educsci11080406


Kovács, Z.; Recio,T.; Tabera, L.F.; Vélez, M.P.:  “Dealing with Degeneracies in Automated Theorem Proving in Geometry”. Mathematics,  2021,9,1964. https://doi.org/ 10.3390/math9161964


Kovács, Z.; Recio, T.; Vélez, M.P.: “Automated reasoning tools in GeoGebra Discovery”

 In:  ISSAC 2021 Software Presentations. ACM Communications in Computer Algebra, Vol. 55, No. 2, Issue 216, June 2021. pp. 39--43.

 https://doi.org/10.1145/3493492.3493495

 

Botana F.; Kovács Z.; Recio T.: “A mechanical geometer”. Mathematics in Computer Science,  15, 631–641 (2021).  https://doi.org/10.1007/s11786-020-00497-7


Fortuny, J.M.; Recio, T.; Richard, P.R.; Roanes-Lozano, E.: “Análisis del discurso de los profesores en formación en un contexto de innovación pedagógica en geometría.” Annales de Didactique et de Sciences Cognitives, Volume 26, 2021, p. 195 –220.

 

Losada-Liste, R.; Recio, T.: “Mirando a los cuadros a través de los ojos de Voronoi. (Looking at the paintings through Voronoi’s eyes)”. Boletín de la Sociedad Puig Adam de Profesores de Matemáticas, vol. 112. Oct. 2021, pp. 32--53. 


CV Resume Tomas Recio octubre21


Carrillo de Albornoz, A.; Recio T.: “Extending envelope computations in Computer Algebra/Dynamic Geometry environments”. The Electronic Journal of Mathematics and Technology (eJMT), Vol. 15, (3), 2021.

Recio,T.; Losada,R.; Kovács, Z; Ueno, C.: “Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools”. Mathematics 2021, 9(20), 2548. https://doi.org/10.3390/math9202548


Taranto, E.; Jablonski, S.; Recio, T.; Mercat, C; Cunha, E.; Lázaro, C.;Ludwig, M: Mammana, M.F.: “Professional Development in Mathematics Education - Evaluation of a MOOC on Outdoor Mathematics”, Mathematics 2021, Volume 9, Issue 22, 2975, https://doi.org/10.3390/math9222975


Kovács, Z.; Recio, T.; Vélez, M.P.: “Approaching Cesàro’s inequality through GeoGebra Discovery”. Proceedings of the 26th Asian Technology Conference in Mathematics, W.C. Yang, D.B. Meade, M. Majewski (eds).  Published by Mathematics and Technology, LLC. ISSN 1940-4204 (Online version: http://atcm.mathandtech.org/EP2021). Dec. 13-15, 2021. pp. 160-174


Kovács, Z.; Recio, T.; Vélez, M.P: "GeoGebra Discovery in context".  In: Predrag Janicic and Zoltán Kovács (eds): Proceedings of the 13th International Conference on Automated Deduction in Geometry (ADG 2021), Hagenberg, Austria/virtual, September 15-17, 2021. Electronic Proceedings in Theoretical Computer Science. 352, pp. 141--147 (30th December 2021).  https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.16,   

 https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ADG2021 doi:10.4204/EPTCS.352.16

Gomez-Diaz, T. and Recio T.: “Research Software vs. Research Data I: Towards a Research Data definition in the Open Science context”  F1000Research 2022, 11:118

 (https://doi.org/10.12688/f1000research.78195.1 )

 

Gomez-Diaz, T. and Recio T.: “Research Software vs. Research Data II: Protocols for Research Data dissemination and evaluation in the Open Science context”. F1000Research 2022, 11:117

https://doi.org/10.12688/f1000research.78459.1 )



Kovács, Z.; Recio,T.; Tabera, L.F.; Vélez, M.P.: “Dealing with degeneracies in automated theorem proving in geometry: a zero-dimensional approach”. Actas del XVII Congreso EACA, pp. 113-117. Castellón de la Plana, Junio 20-22, 2022.

CV Resume Tomas Recio julio 22


Kovács, Z.; Recio, T.; Vélez, M.P.: “Alternative Solutions and Comments to the Problem Corner-- October 2021 issue”. The Electronic Journal of Mathematics and Technology (eJMT). February 2022     

https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2021.pdf


Kovács, Z.; Recio, T.; Vélez, M. P.: "Automated reasoning tools with GeoGebra: What are they? What are they good for?" In: P. R. Richard, M. P. Vélez, S. van Vaerenbergh (eds): Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning. Series: Mathematics Education in the Digital Era, Springer, 2022, pp. 23-44. https://doi.org/10.1007/978-3-030-86909-0_2 


 

Recio, T.: "Epilogue". In: P. R. Richard, M. P. Vélez, S. van Vaerenbergh (eds): Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning. Series: Mathematics Education in the Digital Era, Springer , 2022, pp. 437-444.  https://rd.springer.com/content/pdf/bbm%3A978-3-030-86909-0%2F1.pdf


CV Resume Tomas Recio mayo 22


Barlovits, S.; Caldeira, A.; Fesakis, G.; Jablonski, S.; Filippaki, D. K.; Lázaro, C.; Ludwig, M.; Mammana, M.F.; Moura, A.; Oehler, D-X. K.; Recio,T.; Taranto, E.; Volika, S.: “Adaptive, Synchronous and Mobile Online Education: Developing the ASYMPTOTE Learning Environment”, Mathematics 2022, Volume 10, issue 10, 1628. https://doi.org/10.3390/math10101628



Recio, T.; Losada, R.; Tabera, L.F.; Ueno, C.: “Visualizing a cubic linkage through the use of CAS and DGS”. Mathematics 2022, Vol. 10(15), 2550. Special Issue on Symbolic Computation for Mathematical Visualization. 22 Jul 2022; https://doi.org/10.3390/math10152550 



Recio, T.; Vélez, M.P., Ueno, C.: “Niagara Falls and the Origins of Computer Algebra”. Maple Transactions (to appear 2022).

CV Resume Tomas Recio julio 21



Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003
Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003
Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003