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. 
https://eprints.ucm.es/id/eprint/75954/   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 variablesREF. 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�TULOC�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\'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

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

<font face="Times New Roman, Times, serif">CV Resume Tomas Recio june 2020</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. Mathematics2021,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.

 

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. 


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\'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 contextF1000Research 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. Actas del XVII Congreso EACA, pp. 113-117. Castellón de la Plana, Junio 20-22, 2022.

CV Resume Tomas Recio julio 22


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


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\'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

 


\item{}{\ninerm AUTORES:}  G\'omez Casanueva, C., Polo-Blanco, I., L\'azaro, C., Recio, T. y Van Vaerenbergh, S.
 \item{}{\ninerm TITULO :} ``Adaptaci\'on de materiales del proyecto MATESGG para alumnado con autismo."
 \item{}{\ninerm REF. REVISTA/LIBRO:} 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
 
 
\item{}{\ninerm AUTORES:}   Losada-Liste, R., Recio T.
 \item{}{\ninerm TITULO :} ``Inclinando la botella de Piaget con GeoGebra Discovery."
 \item{}{\ninerm REF. REVISTA/LIBRO:} Bolet{\'\i}n de la Soc. Puig Adam, n\'um 115 (Abril 2023), pp. 43-86.

\item{}{\ninerm AUTORES:}    Bel\'en Ari\~no-Morera, Ang\'elica Benito, \'Alvaro Nolla,Tom\'as Recio and Emilio Seoane
 \item{}{\ninerm TITULO :} ``Looking at Okuda’s artwork through GeoGebra: A Citizen Science experience"
 \item{}{\ninerm REF. REVISTA/LIBRO:}  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

 

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