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: 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 variables . REF. REVISTA/LIBRO: Computer aided geometric design. 12, 1995, pp. 251-258. CLAVE : A

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

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

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

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

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

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

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

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

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

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

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

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

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

AUTORES: Recio Muñiz, Tomás J.;Alonso, M. E. TÍTULO : Mario Raimondo contribution to Computer Algebra. REF. REVISTA/LIBRO : 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ÍTULO : Cálculo Simbólico, Cálculo Formal, Algebra Computacional: qué es y para qué sirve.
REF. REVISTA/LIBRO: Revista NUMEROS, vol. 43 y 44. Sept.- Dic. 2000.. CLAVE :A

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

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

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

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

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

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

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

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

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

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

\hfill {\ninerm CLAVE :} A

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

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

\eject

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

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

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

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

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

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

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

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

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

\eject

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

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

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

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

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

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

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

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

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

\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:}   Recio Mu\~niz, Tom\'as J.; Montes, A..
\item{}{\ninerm TITULO :} Automatic discovery of geometry theorems using minimal
canonical comprehensive Groebner systems
\item{}{\ninerm REF. REVISTA/LIBRO:} LNAI (Lect. Notes Artificial Intelligence) 4869, pp. 113-139, 2007.
\hfill {\ninerm CLAVE :}A

\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 :}A

\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.; Arranz, J.M.; Losada, R; Mora, J.A. ; Sada, M. \item{}{\ninerm TITULO :} GeoGebra on the rocks
\item{}{\ninerm REF. REVISTA/LIBRO:} aceptado en "Model-centered Learning with GeoGebra: Theory and Practice in Mathematics Education" ( Lingguo Bu and Robert C. Schoen, editors, Modeling and Simulations for Learning and Instruction Series, Sensepublishers)
\hfill {\ninerm CLAVE :}CL

\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 :} 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.; 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
\hfill {\ninerm CLAVE :}CL