PUBLICACIONES



 

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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO : Voronoi Computability in SE(3). REF. REVISTA/LIBRO: Real Analytic and Algebraic Geometry, II. De Gruyter Publ. 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 : Real algebraic and analytic geometry. De Gruyter, 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ÍTULOCá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ÍTULOJohannes 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.;  Botana, F.; Ab\'anades, M.
\item{}{\ninerm TITULO :} Automatic Discovery in GeoGebra: first steps/Descubrimiento autom\'atico en GeoGebra: primeros pasos.
 \item{}{\ninerm REF. REVISTA/LIBRO:}  Actas EACA 2016, Logro\~no \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 : } ``Implementing Automatic Discovery in GeoGebra (extended abstract)".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ADG 2016. Universite de Strasbourg. Julio 2016.
      \hfill {\ninerm CLAVE :}A
    
 \hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Zolt\'an Kovács and Csilla S\'olyom-Gecse.
  \item{} {\ninerm TITULO : } ``Automatic rewrites of input expressions in complex algebraic geometry provers (extended abstract)".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ADG 2016. Universite de Strasbourg. Julio 2016.
     \hfill {\ninerm CLAVE :}A
    
     \hrule
\bigskip
\item{} {\ninerm AUTORES :}  Recio Mu\~niz, Tom\'as J.;  Manuel Ladra and M.Pilar P\'aez-Guill\'an
  \item{} {\ninerm TITULO : } ``The unexpected trick of Rabinowitsch (extended abstract)".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ADG 2016. Universite de Strasbourg. Julio 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 : } ``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ács.
  \item{} {\ninerm TITULO : } ``Deciding geometric properties symbolically  in GeoGebra".
   \item{}{\ninerm REF. REVISTA/LIBRO:} ICME 13. Hamburg 2016. Oral presentation at Topic Study Group 18: Reasoning and Proof in Mathematics Education.     
\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



    \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 : } ``Automatic Discovery in GeoGebra: first steps".
   \item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings CADGME 2016.     
\hfill {\ninerm CLAVE :}A


  \hrule
\bigskip
\item{} {\ninerm AUTORES :}
Nadine Grapin, Claudia Lazaro, Mirko Maracci, François Moussavou, Sue Pope,  Tomas Recio, Ornella Robutti,
Jaime Carvalho e Silva and Ana Vieira
  \item{} {\ninerm TITULO : }``Inclusive MAthematical LIteracy (IMALI): collaborative teacher development".   
\item{}{\ninerm REF. REVISTA/LIBRO:} Poster at  "
Educating the Educators", Nov. 7-8,  2016. Freiburg, Alemania.  
\hfill {\ninerm CLAVE :}A

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Poster (Recio Mu\~niz, Tom\'as J.; Botana, F.; V\'elez P.: The role of automated reasoning of  geometry statements in mathematics instruction)
\item{} {\ninerm CONGRESO:} CERME-10
\item{} {\ninerm LUGAR DE CELEBRACION:}  Dubl{\'\i}n, IRLANDA
\hfill{\ninerm A\~NO:} Feb. 1-5,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Poster (Maitane P. Ist\'uriz, Ignacio Gonz\'alez-Ruiz, Jose M. Diego-Mantec\'on, Tom\'as Recio, José B. B\'ua, Teresa F. Blanco, Mar{\'\ i}a J. Gonz\'alez and Irene Polo: Kids Inspiring Kids for STEAM (KIKS)
\item{} {\ninerm CONGRESO:} CERME-10
\item{} {\ninerm LUGAR DE CELEBRACION:}  Dubl{\'\i}n, IRLANDA
\hfill{\ninerm A\~NO:} Feb. 1-5,  2017.

 
\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


\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: A protocol for the exact computation of envelopes of
families of plane curves. (F. Botana, T. Recio)
\item{} {\ninerm CONGRESO:} CGTA (Conference on Geometry, Theory and Applications), http://www.kma.zcu.cz/cgta2017/
\item{} {\ninerm LUGAR DE CELEBRACION:}  Pilsen, REPUBLICA CHECA
\hfill{\ninerm A\~NO:} 26-30 junio,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Reasoning about linkages with dynamic geometry. (Z. Kov\'acs, T. Recio, P. V\'elez)
\item{} {\ninerm CONGRESO:} CGTA (Conference on Geometry, Theory and Applications), http://www.kma.zcu.cz/cgta2017/
\item{} {\ninerm LUGAR DE CELEBRACION:}  Pilsen, REP\'UBLICA CHECA
\hfill{\ninerm A\~NO:} 26-30 junio,  2017.
\hrule


\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Workshop: GEOGEBRA AUTOMATED REASONING TOOLS: A TUTORIAL WITH EXAMPLES.
(Z. Kov\'acs, T. Recio, P. Richard, P. V\'elez)
\item{} {\ninerm CONGRESO:} The 13th International Conference on Technology in Mathematics Teaching – ICTMT 13
\item{} {\ninerm LUGAR DE CELEBRACION:}  Lyon, FRANCIA
\hfill{\ninerm A\~NO:} 3-6 julio,  2017.


\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Automated Reasoning Tools in GeoGebra
\item{} {\ninerm CONGRESO:} FoCM: Workshop on Computational Algebraic Geometry, http://www4.ncsu.edu/~aszanto/FoCM17/
\item{} {\ninerm LUGAR DE CELEBRACION:}  Barcelona
\hfill{\ninerm A\~NO:} 10-12 de julio, 2017.


\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: DISE\~NO DE EXPERIENCIAS DE AULA USANDO
RAZONAMIENTO AUTOM \'ATICO CON GEOGEBRA (Z. Kov\'acs, T. Recio, P. V\'elez)
\item{} {\ninerm CONGRESO:} VIII CIBEM, http://www.cibem.org
\item{} {\ninerm LUGAR DE CELEBRACION:}  Madrid
\hfill{\ninerm A\~NO:} 10-14 julio,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Taller: Desarrollo de cinco actividades STEAM con formato KIKS
 (Diego Mantec\'on, J.M.; Bravo, A.; Arcera, O.; Ca\~nizal, P.; Blanco, T.F.; Recio, T.; Gonz\'alez-Ruiz, I.; P\'erez Ist\'uriz, M)
\item{} {\ninerm CONGRESO:} VIII CIBEM, http://www.cibem.org
\item{} {\ninerm LUGAR DE CELEBRACION:}  Madrid
\hfill{\ninerm A\~NO:} 10-14 julio,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Proyecto KIKS.
 (Jos\'e M. Diego-Mantec\'on, Teresa F. Blanco,  Mar{\'\i}a J. Gonz\'alez , Maitane P. Ist\'uriz, Alejandro Gorgal Romar{\'\i}s, Ignacio Gonz\'alez-Ruiz, Jos\'e B. B\'ua, Tom\'as Recio)
\item{} {\ninerm CONGRESO:} VIII CIBEM, http://www.cibem.org
\item{} {\ninerm LUGAR DE CELEBRACION:}  Madrid
\hfill{\ninerm A\~NO:} 10-14 julio,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Poster: Interacci\'on y difusi\'on de los proyectos KIKS
 (Diego Mantec\'on, J.M.; Gonz\'alez Ruiz, I.; Blanco, T. F.; Ist\'uriz, M. P.; Gorgal Romar{\'\i}s, A.; B\'ua, J.B.; Recio, T.)
\item{} {\ninerm CONGRESO:} VIII CIBEM, http://www.cibem.org
\item{} {\ninerm LUGAR DE CELEBRACION:}  Madrid
\hfill{\ninerm A\~NO:} 10-14 julio,  2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Automated Reasoning Tools in GeoGebra (Z. Kov\'acs, T. Recio, P. V\'elez)
\item{} {\ninerm CONGRESO:} GeoGebra Global Gathering, https://gathering.geogebra.org
\item{} {\ninerm LUGAR DE CELEBRACION:}  Linz, AUSTRIA
\hfill{\ninerm A\~NO:} 18-20 de julio, 2017.


\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Reasoning on linkages (Z. Kov\'acs, T. Recio, P. V\'elez)
\item{} {\ninerm CONGRESO:} GeoGebra Global Gathering
\item{} {\ninerm LUGAR DE CELEBRACION:}  Linz, AUSTRIA
\hfill{\ninerm A\~NO:} 18-20 de julio, 2017.

\hrule
\bigskip
\item{} {\ninerm TIPO DE PARTICIPACION:} Comunicaci\'on: Automated Reasoning Tools in GeoGebra
\item{} {\ninerm CONGRESO:} 23rd Conference on Applications of Computer Algebra, ACA 2017, http://www.aca2017.jct.ac.il
\item{} {\ninerm LUGAR DE CELEBRACION:}  Jerusalem, ISRAEL
\hfill{\ninerm A\~NO:} 17-21 de julio, 2017.