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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. 
https://eprints.ucm.es/id/eprint/75954/   CLAVE : L

AUTORES: Recio Mu�iz, Tom�s Jes�s. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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.;  TITULO : 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. TITULO : A Note on Robinson's nonnegativity criterion . REF. REVISTA/LIBRO: Fund. Math. 122, 1984. CLAVE : A

AUTORES: Recio Mu�iz, Tom�s J. TITULO : 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. TITULO : 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. TITULO :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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO :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. TITULO : 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.  TITULO : 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.   TITULO : 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.  TITULO : 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. TITULO : 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. TITULO : 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.  TITULO :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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO :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. TITULO : 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. TITULO : 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.. TITULO : 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. TITULO : 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. TITULO :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. TITULO : 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; TITULO : 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; TITULO : 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.; TITULO : 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. TITULO : 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. TITULO : 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.; TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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; TITULO : 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.; TITULO : 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; TITULO : 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.. TITULO : 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. TITULO : 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.; TITULO :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. TITULO : 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. TITULO : 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.; TITULO : 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.; TITULO : 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.; TITULO : 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. TITULO : 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.; TITULO : 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. TITULO : 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. TITULO : 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. TITULO : 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.   TITULO : 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 .  TITULO : 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.  TITULO :  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.  TITULO :  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. TITULO :  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. TITULO : 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.. TITULO :  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.  TITULO :  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.
TITULO : 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.
TITULO : 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.
TITULO : 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 .
TITULO : 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
http://www.mat.ucm.es/imi/ETM4/ETM4libro-final.pdf
  \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.
{https://etm5.web.uowm.gr/wp-content/uploads/2017/11/ΕΤΜ5Final.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 <font face="Helvetica, Arial, sans-serif">Art�culo N�meros</font>


\item{} {\ninerm AUTORES :}  Blanco,  Jose Carlos; L\'azaro, Claudia.; Recio, Tom\'as
  \item{} {\ninerm TITULO : } ``El proyecto MoMaTrE: Paseos matem\'aticos 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\'es 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

<font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio june 2020</font>

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

 <font face="Helvetica, Arial, sans-serif"><font face="Times New Roman, Times, serif">CV Resume Tomas Recio june 2020</font></font>

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\'acs, Z; Lichtenegger, B.;   Recio, T.; Richard P. R.; V\'elez, 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\'aez-Guill\'en, 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, Fisicas 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. Boletin de la Sociedad Puig Adam de Profesores de Matematicas, vol. 110. Oct. 2020. pp. 8--26.

Kov\'acs 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\'acs, Z.; Recio, T.; Richard, P.R.; Van Vaerenbergh S.; V\'elez, 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\'acs 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\'elez, M.P.: Inventando teoremas con GeoGebra: un nuevo Teorema de la Altura, Bolet\' in de la Soc. Puig Adam, No. 111, Abril 2021, pp. 8--27.

 

Kov\'acs, Z.; Recio, T.; V\'elez, 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\'acs, Z.; Recio,T.; Tabera, L.F.; V\'elez, M.P.:  Dealing with Degeneracies in Automated Theorem Proving in Geometry. Mathematics,  2021,9,1964. https://doi.org/ 10.3390/math9161964


Kov\'acs, Z.; Recio, T.; V\'elez, 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\'acs 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\'alisis del discurso de los profesores en formaci\'on en un contexto de innovaci\'on pedag\'agica en geometr\'ia. Annales de Didactique et de Sciences Cognitives, Volume 26, 2021, p. 195--220.

https://doi.org/10.4000/adsc.1168

 

Losada-Liste, R.; Recio, T.: Mirando a los cuadros a trav\'es de los ojos de Voronoi. (Looking at the paintings through Voronoi's eyes). Bolet\'in de la Sociedad Puig Adam de Profesores de Matem\'aticas, vol. 112. Oct. 2021, pp. 32--53. 


<font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio octubre21</font>


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\'acs, Z.; Recio, T.; V\'elez, M.P.: Approaching Ces\'aro'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\'acs, Z.; Recio, T.; V\'elez, M.P: "GeoGebra Discovery in context".  In: Predrag Janicic and Zolt\'an Kov\'acs (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.2 )

 

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.2 )


  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”. En: EACA 2022. XVII Encuentro de Álgebra Computacional y Aplicaciones. XVII Meeting on Computer algebra and Applications. Moyano-Fernández,J.J., Galindo, C., Giménez, P., Hernando, F., Monserrat, F. J. (eds). Col·lecció “Treballs d’Informática i Tecnologia'' Núm. 51.  Publicacions de la Universitat Jaume I. Servei de Comunicació  i Publicacions,  ISBN: 9788419647467,   2023. pp. 111-115. http://dx.doi.org/10.6035/InFiTEC.51  https://repositori.uji.es/items/b4c24145-1d5f-40c8-b211-fed5c0a3ec1b <a moz-do-not-send="true" href="https://repositori.uji.es/items/b4c24145-1d5f-40c8-b211-fed5c0a3ec1b <font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio julio 22</font>"><font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio julio 22</font></a>


Kov\'acs, Z.; Recio, T.; V\'elez, 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\'acs, Z.; Recio, T.; V\'elez, M.P.: "Automated reasoning tools with GeoGebra: What are they? What are they good for?" In: P. R. Richard, M. P. V\'elez, 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\'elez, 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

<font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio mayo 22</font>


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\'elez, M.P.; Ueno, C.: Niagara Falls and the Origins of Computer Algebra. Maple Transactions Vol. 2, No. 1, Article 14362 , July 2022. https://doi.org/10.5206/mt.v2i1.14362  .


Brown,C.,  Kov\'acs , Z., Recio, T., Vajda, R.,  V\'elez M.P.:  Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Mathematics in Computer Science 16(31). December 2022.   DOI: 10.1007/s11786-022-00532-9    https://rdcu.be/c07bf


CV Resume Tomas Recio julio 21

Recio, T., V\'elez M.P.: Augmented intelligence with GeoGebra and Maple involvement. Electronic Proceedings of the 27th Asian Technology Conference in Mathematics (2022). Editors:  Wei-Chi Yang, Miroslaw Majewski, Douglas Meade, Weng Kin Ho. Published by Mathematics and Technology, LLC (http://mathandtech.org/)  ISSN 1940-4204 (online version). https://atcm.mathandtech.org/EP2022/invited/21969.pdf
 
 Kov\'acs, Z., Recio, T.: Real Quantifier Elimination in the classroom. Electronic Proceedings of the 27th Asian Technology Conference in Mathematics (2022). Editors:  Wei-Chi Yang, Miroslaw Majewski,  Douglas Meade,  Weng Kin Ho. Published by Mathematics and Technology, LLC (http://mathandtech.org/)  ISSN 1940-4204 (online version), pp. 77--90. https://atcm.mathandtech.org/EP2022/invited/21952.pdf
 
Herrero, A. C., Recio, T.,  Tolmos, P., V\'elez, M.P.: From the Steam Engine to STEAM Education: An Experience with Pre- Service Mathematics Teachers. Mathematics 2023, Volume 11, Issue 2, 473, 16, Jan. 2023. https://doi.org/10.3390/math11020473
 
Gamboa, A., Gamboa, J.M., Recio, T.: Problem Corner. The Electronic Journal of Mathematics and Technology. February 2023. https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Feb2023.pdf

 Recio, T., V\'elez, M.P.: Una experiencia pionera: celebrando la Asian Technology Conference in Mathematics en la Universidad Nebrija. En Roc\' io Santamar\' ia e Irene Ram\' irez de Arellano (eds): ACTAS de las V Jornadas Internacionales de Transversalidad en la docencia,  pp. 106-110. Institutos Nebrija. Madrid. Abril 2023.   ISSN: 2792-1522. 

https://biblioteca.nebrija.es/cgi-bin/opac/O8613/ID435b0bb3?MLKOB=68531218383

 

G\'omez Casanueva, C., Polo-Blanco, I., L\'azaro, C., Recio, T. y Van Vaerenbergh, S. : ``Adaptaci\'on de materiales del proyecto MATESGG para alumnado con autismo."  En T. F. Blanco, C. N\'u\~nez-Garc{\'\i}a, M. C. Ca\~nadas y J. A. Gonz\'alez-Calero (Eds.), Actas XXV SEIEM. Investigaci\'on en Educaci\'on Matem\'atica  (p. 606). SEIEM. (2022).   https://www.seiem.es/docs/actas/25/ActasXXVSEIEM.pdf   
 
  Losada-Liste, R., Recio T.: ``Inclinando la botella de Piaget con GeoGebra Discovery." Bolet{\'\i}n de la Soc. Puig Adam, n\'um 115 (Abril 2023), pp. 43-86.

  Bel\'en Ari\~no-Morera, Ang\'elica Benito, \'Alvaro Nolla,Tom\'as Recio and Emilio Seoane: ``Looking at Okuda’s artwork through GeoGebra: A Citizen Science experience"
  AIMS-Mathematics 2023, Volume 8, Issue 8: 17433-17447. doi: 10.3934/math.2023890

Gamboa, J.M., Recio, T.: “Problem Corner”. The Electronic Journal of Mathematics and Technology. June 2023.
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Jun2023.pdf

 

Dana-Picard, T., Recio T.: “Dynamic construction of a family of octic curves as geometric loci”. AIMS Mathematics, 8(8): 19461–19476.  doi: 10.3934/math.2023993

 

Kovács, Z., Brown, C. Recio, T., Vajda, R.: “Computing with Tarski formulas and semi-algebraic sets in a web browser,” Journal of Symbolic Computation, 2023, 102235, ISSN 0747-7171,
 https://doi.org/10.1016/j.jsc.2023.102235 .


Brown, C., Kovács, Z., Recio, T.: “Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition”, ACM Communications in Computer Algebra, Volume 57, Issue 2, June 2023. pp 43–46. https://doi.org/10.1145/3614408.3614413

 

Brown, C., Kovács, Z., Luksch, S., Recio, T., Vajda, R., Vélez, M.P.: “Towards Detection of Partial Truth via Real Geometry”.  Proceedings of the 8th SC-Square Workshop (SC-Square 2023, Satisfiability Checking and Symbolic Computation 2023), co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023), Tromsø, Norway, July 28, 2023. Edited by Erika Ábrahám, Thomas Sturm,  https://ceur-ws.org/Vol-3455/short2.pdf

 

Brown, C., Kovács, Z., Recio, T., Vajda, R., Vélez, M.P: “GeoGebra Discovery”. Intelligent Computer Mathematics. 16th International Conference, CICM 2023, Cambridge, UK, September 5–-8, 2023 Proceedings. Editors Catherine Dubois, Manfred Kerber.  Lecture Notes in Computer Science.  Springer, page 323. https://doi.org/10.1007/978-3-031-42753-4
 

Kovács, Z., Recio, T., Ueno, C., Vajda, R.: “The “never-proved” triangle inequality: A GeoGebra and CAS approach”. AIMS-Mathematics, 8(10): 22593–22642. https://doi.org/10.3934/math.20231151   

 


Kovács, Z.; Recio, T.; Vélez, M. P. “GeoGebra Automated Reasoning Tools: why and how (to use them in the classroom)”.  The 28th International Conference on Applications of Computer Algebra (ACA 2023). Program and Abstracts. Warsaw University of Life Sciences SGGW. Institute of Information Technology. July 17 21, 2023. pp 47-49. https://iit.sggw.edu.pl/wp-content/uploads/sites/18/2023/07/ACA2023_Program_Abstracts-1.pdf?x  

 

Dana-Picard, T., Recio T.: “Automated computation of geometric Loci in Mathematics Education”. The 28th International Conference on Applications of Computer Algebra (ACA 2023). Program and Abstracts. Warsaw University of Life Sciences SGGW. Institute of Information Technology. July 17 21, 2023. pp 45-46. https://iit.sggw.edu.pl/wp-content/uploads/sites/18/2023/07/ACA2023_Program_Abstracts-1.pdf?x   

 

Gamboa, J.M., Recio, T.: “Problem Corner”, The Electronic Journal of Mathematics and Technology, October 2023.

https://php.radford.edu/ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Solutions_to_Jun2023.pdf  

Dana-Picard, T., Recio T : “Second Thales Theorem: a basic, but involved example on the need for DGS and CAS cooperation for geometric locus computation”

Boletín de la Soc. Puig Adam, 116, Octubre 2023, pp. 44-59


Gomez-Diaz, T., Recio T.: “Articles, software, data: An Open Science ethological study”. Maple Transactions, Vol. 3, No. 4, 2024, https://doi.org/10.5206/mt.v3i4.17132

<font face="Helvetica, Arial, sans-serif">CV Resume Tomas Recio january 2024</font>


Ariño-Morera, B., Kovács, Z., Recio, T., and Tolmos, P.: “Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned”. In: Quaresma, P. and Kovács, Z. (eds), Proceedings 14th International Conference on Automated Deduction in Geometry, Belgrade, Serbia, 20-22th September 2023, Electronic Proceedings in Theoretical Computer Science 398, Open Publishing Association, pp. 101-109, January 2024. doi: 10.4204/EPTCS.398.13


Kovács, Z.; Recio, T.; Vélez, M. P.: “Showing Proofs, Assessing Difficulty with GeoGebra Discovery”. In: Quaresma, P. and Kovács, Z. (eds), Proceedings 14th

International Conference on Automated Deduction in Geometry, Belgrade, Serbia, 20- 22th September 2023, Electronic Proceedings in Theoretical Computer Science 398, Open Publishing Association, pp. 43-52, January 2024. doi: 10.4204/EPTCS.398.8

Botana, F.; Recio, T. (2024): “Geometric Loci and ChatGPT: Caveat Emptor!”. Computation 2024, 12(2), 30. https://doi.org/10.3390/computation12020030


CV Resume Tomas Recio february 2024

Carrillo de Albornoz, A.; Chacón, J.M.; Recio, T. (Editors): “I Congreso Internacional de GeoGebra. Actas. Córdoba (España), del 9 al 12 de noviembre de 2023”. Abril 2024. Federación Española de Sociedades de Profesores de Matemáticas. ISBN: 978-84- 122154-4-1 https://congresogeogebra.org/actas/Actas%20I%20Congreso%20internacional%20Geo Gebra%202023.pdf

Recio, T.; Sabariego, P. (2024): “Las matemáticas tras la marca turística de Cabra, la cordobesa''. SUMA, no. 106, abril 2024.

Recio, T. (2024): “Crónica del Congreso Internacional de GeoGebra. “SUMA, no. 106, abril 2024.


Ariño-Morera, B.; Martínez-Zarzuelo, A.; Lázaro del Pozo, C.; Recio, T. (2024): “Paseos matemáticos con MathCityMap y GeoGebra Discovery: una propuesta.” Boletín de la Soc. Puig Adam de Profesores de Matemáticas, 117, abril 2024, pp. 19-38.

Botana, F.; Recio, T.; Vélez, M. P. (2024): “On Using GeoGebra and ChatGPT for Geometric Discovery”. Computers 2024, 13, 187. https://doi.org/10.3390/computers13080187


Ariño-Morera, B.; Recio, T.; Tolmos, P.: "Revisiting working with geometric loci in educational contexts, through GeoGebra Discovery”. En: Proceedings of the 17th ERME Topic Conference MEDA4, 3-6 September 2024, Bari, Italy. E. Faggiano, A. Clark-Wilson, M. Tabac, H-G. Weigand, (eds). pp. 416-417. University of Bari Aldo Moro, Bari (Italy). ISBN 978-88-6629-080-3. https://www.dm.uniba.it/it/ricerca/convegni/2024/meda4


Dana-Picard, T., Recio T. : “From Thales theorem to octic curves”. Maple Trans., Vol. 4, No. 3,  Article 18022. October 2024. https://doi.org/10.5206/mt.v4i3.18022

Recio, T., Ueno, C. (2024). Automated reasoning tools for dealing with elementary but intriguing geometric loci. In: Wei-Chi Yang, Douglas Meade, Weng Kin Ho (eds), Proceedings of the 29th Asian Technology Conference in Mathematics, (ATCM 2024). pp. 282-291.  Published by Mathematics and Technology, LLC (http://mathandtech.org/), ISSN 1940-4204 (online version). https://atcm.mathandtech.org/Scopus2024/atcm2024_proceedings.pdf


Gomez-Diaz, T., Recio, T. (2024). “The Conundrum Challenges for Research Software in Open Science.” Computers, 13(11), 302 (November 2024).
https://doi.org/10.3390/computers13110302

Ariño-Morera, B.; Recio, T.; Tolmos, P. (2024). “Exploring the environment with GeoGebra Discovery.” In: V. Santos et. al. (eds), “2nd International Conference on Math
Education and Technology (ICMET 2024). Book of Abstracts”’, pp. 117-118. UA Editora: University of Aveiro. November 2024. ISBN: 978-972-789-956-2, https://doi.org/10.48528/yshr-s860

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
Kovács, Z., Parisse, B., Recio, T., Vélez, M.P., and Jonathan H. Yu: “The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems.” ACM Communications in Computer Algebra, Vol. 58, No. 2, Issue 228, June 2024. pp. 27-30 (published 10 Jan. 2025), https://doi.org/10.1145/3712023.3712026 .

Kovács, Z.,  Recio, T., Vélez, M.P: “On automated completion of geometry statements and proofs with GeoGebra Discover”. Annals of Mathematics and Artificial
Intelligence, 2024 (on line). DOI 10.1007/s10472-024-09964-4      https://rdcu.be/d411I

Recio, T.; Ueno, C.; Vélez, M.P. : "A Computational Approach to the Perimeter-Area Inequality in a Triangle". Axioms 2025, 14, 40. https://doi.org/10.3390/axioms14010040

Taranto, E.; Jablonski, S.; Recio, T.; Cunha, E.; Ludwig, M.; Mammana, M.F.: ¨The Impact of a MOOC: Long-Term Analysis of Teachers’ Learning Outcomes and Practices”. Educ. Sci. 2025, 15, 336. https://doi.org/10.3390/educsci15030336

Bartha, S., Kerekes, A., Kovács, Z., Recio, T.: “Automated analysis of the difficulty of secondary school geometry theorems”. Ann Math Artif Intell (2025). (Part of a collection: S804: ADG 2024 - Formalization of Geometry and Reasoning)  https://rdcu.be/emKdO https://doi.org/10.1007/s10472-025-09983-9

 

Recio, T., Ueno, C. (2025).  Problem Corner. The Electronic Journal of Mathematics and Technology (eJMT). (February 2025). https://ejmt.mathandtech.org/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Feb2025.pdf

 

Ariño-Morera, B., Lázaro del Pozo, C., Recio, T.: “Explorando el entorno con GeoGebra Discovery”. En: Actas 21 JAEM “Matemáticas entre el mar y la montaña”, pp 1235—1241. Edita: Servicio de Publicaciones de la Federación Española de Sociedades de Profesores de Matemáticas (FESPM). (2025).  I.S.B.N. 978-84-122154-5-8.   

 

Ariño-Morera, B., Recio, T.: “Explorando el Studie voor Aritmetische compositie de Theo van Doesburg con GeoGebra Discovery”.  Boletín de la Soc. Puig Adam. núm. 119 (Abril 2025), pp. 36-59.

 

Recio, T., Ueno, C. (2025). “Geometric Loci Analysis Through Automated Reasoning Tools in GeoGebra: A case study”. The Electronic Journal of Mathematics and Technology (eJMT), (ISSN 1933-2823), Volume 19, Number 2,   pp 91-106, https://ejmt.mathandtech.org/Contents.html#v19n2

Martínez-Zarzuelo, A., Nolla, Á., Recio, T., Tolmos, P., Ariño-Morera, B., & Gallardo, A. (2025). "An Experience with Pre-Service Teachers, Using GeoGebra Discovery Automated Reasoning Tools for Outdoor Mathematics". Education Sciences, 15(6), 782. https://doi.org/10.3390/educsci15060782

Angélica Martínez-Zarzuelo, Belén Ariño-Morera, Jesús Miguel Rodríguez-Mantilla, Tomás Recio-Muñiz: "Conjeturando, con GeoGebra Discovery, propiedades geométricas de objetos reales en paseos matemáticos para la formación de futuros docentes". En: Actas del II Congreso Internacional Virtual de Educación, Innovación y Transferencia del Conocimiento.  Educación, tecnología emergente y conciencia global: Caminos hacia una ciudadanía digital crítica y responsable. Cátedra de Educación en Tecnologías Emergentes, Gamificación e Inteligencia Artificial (EduEmer). Editores Prof. Eloy López Meneses, Prof. César Bernal Bravo. Editorial Dykinson. Madrid 2025 (ISBN pendiente). pp 2281-2299
https://www.eduemer.org/wp-content/uploads/2025/05/Libro_Eduemer25.pdf