CLAVE : L = libro completo, CL = capítulo de libro, A= artículo, R = review, E = editor.
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Funtores
de complección. REF. REVISTA/LIBRO: I Jornadas
Matemáticas Luso-Españolas . Insituto Jorge Juan de Matemáticas.
C.S.I.C, Madrid. 1972. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Algunas
consideraciones sobre el cono tangente. REF.
REVISTA/LIBRO : Actas, I Jornadas Hispano-Lusas, Insituto
Jorge Juan de Matemáticas. C.S.I.C., Madrid. 1973 CLAVE :
A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Equisingularidad
de una sección plana genérica. REF. REVISTA/LIBRO:
Revista Hispano Americana-T.36-5-6,1976. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Conjuntos
Preanalíticos, Prenashicos y Prealgebraicos REF.
REVISTA/LIBRO: Monografías y memorias de Matemáticas,
Insituto Jorge Juan de Matemáticas. CSIC, Madrid.1977. CLAVE
: L
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Una
descomposición de un conjunto semialgebraico. REF.
REVISTA/LIBRO: V Cong. Intern. de Expresión Latina, Mallorca
1977, C.S.I.C. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús; Espino Santana, Víctor.
TÍTULO : Sobre las secciones hiperplanas de un conjunto
algebraico real. REF. REVISTA/LIBRO: Revista Hispano
Americana, T-39-4-5, 1979 CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Ordered Fields and Real Algebraic Geometry. REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: E
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Order Extensions and Real Algebraic Geometry . REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Subordinate Structure Sheaves. REF. REVISTA/LIBRO:
Lecture Notes in Mathematics 959. Springer, 1982 CLAVE : A
AUTORES: Gamboa, J. M., Recio Muñiz, Tomás J.; TÍTULO
: Ordered Fields and the Dense Orbits Property. REF.
REVISTA/LIBRO: J. Pure Applied Algebra 30, 1983 CLAVE
: A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: A Note on Robinson's nonnegativity criterion . REF.
REVISTA/LIBRO: Fund. Math. 122, 1984. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Proc. Sem. Algebre Réelle. Paris VII, 1986 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Fernández, Fernando, Ruiz
Sancho, Jesús. TÍTULO : Generalized Thom's Lemma in
Semianalytic Geometry. REF. REVISTA/LIBRO: Bull.
Acad. Pol. Sc., 1987. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Miranda, Isabel. TÍTULO
:Thom's Lemma in Real Geometry. REF. REVISTA/LIBRO
: Singularities. Banach Cent. Pub. V-20, 1987. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis
Miguel. TÍTULO : Arboles Algebraicos: Un modelo de
Computación en Geometría. (Contribuciones en memoria del
Profesor E. Villar). REF. REVISTA/LIBRO: Un. de
Cantabria Secret. Pub. (1988). CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis
Miguel. TÍTULO : Rabin's width of a Complete Proof and
the width of a semialgebraic set. REF. REVISTA/LIBRO:
Lect.N. in Computer Sci. 378, Springer, 1989, pp.456-463 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J. ; Roy, M.F.; Raimondo, M.;
Cucker, F.; Pardo, L.M. TÍTULO : Computation of the
local and global analytic structure of a real curve. REF.
REVISTA/LIBRO : Lect.N. in Computer Sci. 356, Springer,
1989, pp.161-182 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutierrez, J.; Ruiz de
Velasco, C. TÍTULO : An almost quadratic polynomial
decomposition algorithm.
REF. REVISTA/LIBRO: Lect.N. in Computer Sci. 357, Springer,
1989. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Sturm-Habicht Sequence . REF.
REVISTA/LIBRO: Proc. ACM-Issac-89, Portland Oregón 136-146.
CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants. REF. REVISTA/LIBRO: Calsif
Bull. n.305 pp. 48-101, 1989. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González Corbalán, A. TÍTULO
: Shape invariant lists and realization as plane real
algebraic curves with double points. REF. REVISTA/LIBRO:
Springer Lect. Not in Math., 1420, pp.146-169. 1990. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants,I. REF. REVISTA/LIBRO:
Revue de Informatique Theorique Vol 24,6. 1990. pp. 561-588. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Algebra
y Geometría Computacional en el curriculum de Matemáticas .
REF. REVISTA/LIBRO: Epsilon, n.16, 1990. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Seminarie sur les Structures Algebriques
Ordonnes, Selection des Exposees 1984-87, Publications
Mathematiques de l'Universite Paris VII, Paris, 1990, ISSN
0073-8301.
AUTORES: Recio Muñiz, Tomás J.; Mazón, M. TÍTULO :
Voronoi diagrams coming from discrete groups on the plane.
REF. REVISTA/LIBRO: Canadian Comp. Geometry. Ottawa Univ.,1990. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Pardo, L.m.; Montaña, J.L.
TÍTULO : The non-scalar model of complexity in
computational semialgebraic geometry. REF. REVISTA/LIBRO:
Progress in Math. 94, Birkhauser, 1991 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Some Algorithms from Real Algebraic Geometry for the
Computation of Basic Problems in Robot Motion Planning. REF.
REVISTA/LIBRO: Aportaciones Matematicas en memoria del Prof.
Onieva. U. de Cantabria, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: The ROMIN inverse geometricmodel and the Dynamic evaluation
method. REF. REVISTA/LIBRO: The SCAFI (Studies on Computer
Algebra for Industry) papers. Wiley, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: El Algoritmo de Laumond Modificado para la Planificación de
Tareas de Robots. REF. REVISTA/LIBRO: Actas del II
Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Mazón, M.L. TÍTULO
: Diagramas de Voronoi en Caleidoscopios. REF.
REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM.
Madrid, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO :Geometría
Algebraica y Geometría Computacional. REF. REVISTA/LIBRO:
Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Heintz, J.; Roy, M.F. TÍTULO
: Algorithms in Real Algebraic Geometry and Applications to
Computational Geometry.REF. REVISTA/LIBRO: DIMACS
(Dicrete Mathematics and Computer Sciences) series vol. 6, AMS,
1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J. TÍTULO
: Rational Function Decomposition and Grobner Bases in the
Parametrization of Plane Curves. REF. REVISTA/LIBRO
: LATIN 92, LN Computer Science 583, 1992. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J.
TÍTULO : A practical implementation of two rational
function decomposition algorithms. REF. REVISTA/LIBRO
: Proc. ISSAC'92, Berkeley ACM press. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : El
cálculo simbólico autómatico y la enseñanza del álgebra
elemental en el diseño curricular base. REF.
REVISTA/LIBRO: SUMA, pag.13-28, 1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Santos, F.; Mazón M. TÍTULO : On the shape of planar
Voronoi diagrams. REF. REVISTA/LIBRO: ACM press.
Proc. 9th ACM Symposium on Computational Geometry. San Diego.
1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Santos, F.; Mazón M. TÍTULO : El problema isovoronoi
para distancias estrictamente convexas en el plano. REF.
REVISTA/LIBRO : Actas III encuentro de Geometria
Computacional. Universidad de Zaragoza. Servicio de
Publicaciones.1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Mazón M. TÍTULO :Bisectores para una distancia
estrictamente convexa en el plano. REF. REVISTA/LIBRO:
Actas III encuentro de Geometria Computacional. Universidad de
Zaragoza. Servicio de Publicaciones.1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Path Tracking in Robotics. REF. REVISTA/LIBRO :
Special Issue on Quantifier Elimination, Computer Journal, North
Holland. Vol. 36,number 5,1993, pp.515-524 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Formal Determination of Polynomial Consequences of Real
Orthogonal Matrices. In: Recent advances in real algebraic
geometry and quadratic forms:proceedings of the RAGSQUAD year REF.
REVISTA/LIBRO : Contemp. Math.155, 1994, pp 141-165 . CLAVE
: A
AUTORES: Andradas, C.; Recio Muñiz, Tomás J. TÍTULO
: D.W. Dubois and the Pioneer Days of Real Algebraic Geometry.
In: Recent advances in real algebraic geometry and quadratic
forms:proceedings of the RAGSQUAD year REF. REVISTA/LIBRO:
Contemp. Math.155, 1994 . CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Montaña, J.L; Pardo, L.M.
TÍTULO : A note on Rabin's width of a complete proof.
REF. REVISTA/LIBRO: Computational Complexity,1994,pp.12-36.
CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants, II. REF. REVISTA/LIBRO:
Revue de Informatique Theorique 28,1,1994,pp 1-24. CLAVE :
A
AUTORES: Recio Muñiz, Tomás J.;Gónzalez López, M.J. TÍTULO
: On the symbolic insimplification of the general 6R
manipulator inverse kinematic equations. REF.
REVISTA/LIBRO : Procceding of the International Symposisum
on Symbolic and Algebraic Computation (ISSAC). Oxford, july, 1994.
pp 354-358, ACM press. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Mazón M. TÍTULO : Voronoi
Diagramas on Euclidean and Spherical 2-Orbifolds . REF.
REVISTA/LIBRO: Proceedings of the Tenth European Workshop on
Computational Geometry. 1994.Universidad de Cantabria. CLAVE
: A
AUTORES: Recio T.; Gonzalez-Lopez, M.J. TÍTULO : Display
of a straight line path for a 2R planar manipulator.
REF. REVISTA/LIBRO: Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.1-9. CLAVE : A
AUTORES: Recio T.; Alonso, C; Gutierrez, J. TÍTULO
: Simplificacion de curvas parametricas REF.
REVISTA/LIBRO : Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.95-101. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Mazón M; Santos, F. TÍTULO
: Proceedings of the Tenth European Workshop on Computational
Geometry. 1994. REF. REVISTA/LIBRO:. CLAVE :
Editores
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
: Real parametric curves: some symbolic algorithm issues.
REF. REVISTA/LIBRO:.14th IMACS (Institute for Mathematics
and Computers in Simulation) World Symposium. Atlanta. 1994 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Alonso, C.,Gutierrez, J. TÍTULO
: FRAC:A Maple package for computing in the rational functionn
field K(x) REF. REVISTA/LIBRO: Maple V: Mathematics
and applications, 1994, Ed. R. J. López, Birkhauser. pp 107-115 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J..; Gonzalez Lopez, M.J. TÍTULO
:Symbolic simplification of kinematic equations. Rigid motion
representation and the Stewart platform case. REF.
REVISTA/LIBRO :Actas del Congreso Internacional de Teoria de
Anillos. Ameria, 1993- Editores M.J. Asensio, B. Torrecillas, F.
Van Oystaeyen. Universidad de Almeria. Servicio de
Publicaciones.1995. CLAVE : CL
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Voronoi Computability in SE(3). REF. REVISTA/LIBRO:
Real Analytic and Algebraic Geometry. F. Broglia, M. Galbiati, A.
Tognoli (eds). De Gruyter Proceedings in Mathematics.
pp137-149,1995. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
: An implicitization algorithm with fewer variables
. REF. REVISTA/LIBRO: Computer aided
geometric design. 12, 1995, pp. 251-258. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús;Gonzalez Lopez, M.J.. TÍTULO
: On the reality of inverse kinematic ideals REF.
REVISTA/LIBRO: Contributions to General Algebra 9. Verlag
Holder-Pichler-Tempsky, Wien 1995-Verlag B.G. Teubner, Stuttgart.
pp.183-195. CLAVE : CL
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
: A rational function decomposition algorithm by near
separated polynomials. REF. REVISTA/LIBRO:.Journal
of Symbolic Computation 19,6,pp 527-544, june 1995. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
:Reconsidering algorithms for real parametric curves . REF.
REVISTA/LIBRO: Journal of AAECC (Applicable Algebra in
Engineering, Communication and Computing 6,1995,pp.345-352. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.;Gonzalez Lopez, M.J.
.,Bochis, D. TÍTULO : Simulation program of the path
tracking for any irredundant planar manipulator and the 6R
manipulatorREF. REVISTA/LIBRO : Proceedings of the
11th European workshop on Computational Geometry. RISC-Linz, 1995
CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Alonso, C; Gutierrez, J; TÍTULO
: Trazado de Curvas Paramétricas sin Pérdida de Puntos en la
Imagen. REF. REVISTA/LIBRO: Actas de la V
Conferencia Española de Informática Gráfica. Mallorca. 1995,
pp.133-142. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Alonso, C; Gutierrez, J; TÍTULO
: Software on functional decomposition REF.
REVISTA/LIBRO: Actas de la International Conference, Russian
Academy of Sciences, Siberian Branch, AMCA (Advanced Mathematics,
Computations and Applications),Novosibirsk, 1995 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; TÍTULO : Symbolic
Computation in Robotics REF. REVISTA/LIBRO: Actas de
los Encuentros Españoles de Algebra Computacional (1995,
Santander) CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Sendra, J.R. TÍTULO
: Reparametrizacion Real de curvas reales parametricas REF.
REVISTA/LIBRO : Actas de los Encuentros Españoles de Algebra
Computacional (1995, Santander), pp 159-168 CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Searching
for lower bounds in computational geometry: a survery on methods
. REF. REVISTA/LIBRO: Proceedings of the Encuentros
Españoles de Geometria Computacional, Barcelona, 1995, Universidad
Politecnica. CLAVE : A
AUTORES: González Vega, L; Recio Muñiz, Tomás J.; TÍTULO
: Algorithms in Algebraic Geometry and Applications .
REF. REVISTA/LIBRO: Birkhauser, Progress in Mathematics,
143, (1996). Proc. MEGA 94. CLAVE : Editores
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J.;
Santos, F. TÍTULO : Parametrization of Semialgebraic
Sets.
REF. REVISTA/LIBRO: Mathematics and Computers in Simulation
(N-H, Elsevier), vol 46, issue, 4-6,353-362,(nov. 1996). CLAVE
: A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Real
algebraic numbers: A foreword to the papers presented at the
special session. REF. REVISTA/LIBRO: Mathematics and
Computers in Simulation (N-H, Elsevier), vol 46, issue,
4-6,539-540,(nov. 1996). CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Corbalán, A.G., Mazón,M. TÍTULO
: Geometry of bisectors for strictly convex distances.
REF. REVISTA/LIBRO: International Journal of Computational
Geometry and Applications,Vol 6, No 1, 1996,45-58. CLAVE :
A
AUTORES: Recio Muñiz, Tomás J.;Alonso, M. E. TÍTULO : Mario Raimondo contribution to Computer Algebra. REF. REVISTA/LIBRO : Lectures in real geometry. F.Broglia (ed). De Gruyter Expositions in Mathematics, Berlin, 1996. CLAVE : CL
AUTORES: Recio Muñiz, Tomás J.;Sendra, J. Rafael; TÍTULO
: Real Reparametrizations of Real Curves. REF.
REVISTA/LIBRO: JSC.23, 241-254, 1997. Special Issue on
Parametric Algebraic Curves and Applications. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Mazón, M.; TÍTULO
: Voronoi diagrams on orbifolds REF. REVISTA/LIBRO
: Computational Geometry. Theory and Applications. 8, (1997).
219-230 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Sendra, J; TÍTULO
: A really elementary proof of Real Luroth's Theorem REF.
REVISTA/LIBRO : Revista Matematica de la Universidad
Complutense de Madrid. Vol. 10, Numero Suplementario. 1997,
283-290. CLAVE : A
AUTORES:Andradas, C.; Recio Muñiz, Tomás J.;Sendra, J. R..
TÍTULO : A relatively optimal reparametrization
algorithm .
REF. REVISTA/LIBRO: Proc. ISSAC 97. W. W. Küchlin, ed. ACM
press. ISBN 0-89791-875-4 (1997). 349-355. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Alonso, M.E.; Andradas, C.;
Gamboa, J.M.; Ruiz, J.M. TÍTULO : Real Algebraic and
Analytic Geometry. Proceedings Segovia 1995. REF.
REVISTA/LIBRO : Revista Matematica de la Universidad
Complutense de Madrid. Vol. 10, Numero Suplementario. 1997. CLAVE
: E
AUTORES: Alonso, C, Gutierrez, J. Recio Muñiz, Tomás J.; TÍTULO
:A note on separated factors of separated polynomials
REF. REVISTA/LIBRO: Journal of Pure and Applied Algebra. vol
121, 217-222. 1997. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Cálculo
simbólico y geométricoREF. REVISTA/LIBRO : Editorial
Síntesis. Madrid. 1998.isbn=84-7738-551-3 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Sturm-Habicht Sequences,
Determinants and Real Roots of Univariate Polynomials. REF.
REVISTA/LIBRO : Quantifier Elimination and Cylindrical
Algebraic Decomposition. Bob Caviness and Jeremy Johnson Eds.
Series: Texts and Monographs in Symbolic Computation Publisher:
Springer-Verlag, Wien, New York. 1998. ISBN: 3-211-82794-3 CLAVE
: CL
AUTORES: Gutierrez, J.; Recio Muñiz, Tomás J.; TÍTULO
: Advances on the simplification of sine-cosine polynomial
equations.REF. REVISTA/LIBRO: Journal of Symbolic
Computation, 26, 31-70, 1998. CLAVE :A
AUTORES: Recio Muñiz, Tomás J.; TÍTULO : Didactical
relevance of meaningless mathematics REF. REVISTA/LIBRO
: International Journal of Computer Algebra in Math Education
IJCAME, vol.5, no. 1, 15-27. 1998. CLAVE : A
AUTORES:Gonzalez Lopez, M.J.; Recio Muñiz, Tomás J.; TÍTULO
: Does Computer Algebra help at all learning about real
numbers?REF. REVISTA/LIBRO: Mathematics and Computers
in Simulation (N-H, Elsevier), vol 45 (1998) pp 185-195 CLAVE
: A
AUTORES: Vélez, P.; Recio Muñiz, Tomás J.;Sterk H. TÍTULO
: Project: Automated Geometry theorem proving . REF.
REVISTA/LIBRO: In: Some Tapas of Computer Algebra, A.M.
Cohen, H. Cuypers, H. Sterk (eds). Algorithms and Computations in
Mathematics, Vol 4. Springer. 1999. isbn: 3-540-63480-0 CLAVE
: CL
AUTORES: Vélez, P.; Recio Muñiz, Tomás J.; TÍTULO
: Automatic Discovery of Theorems in Elementary Geometry .
REF. REVISTA/LIBRO: Journal of Automated Reasoning 23:
63-82, 1999 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Andradas, C. TÍTULO
: Missing points and branches in real parametric curves.
REF. REVISTA/LIBRO: remitido al Computational
Geometry:Theory and Applications. CLAVE :A
AUTORES: Recio Muñiz, Tomás J.; Andradas, C; Sendra, J.R.
TÍTULO : Base field restriction techniques for
parametric curves.
REF. REVISTA/LIBRO:ISSAC 1999 Proceedings. ACM press. CLAVE
:A
AUTORES: Recio Muñiz, Tomás J.; Gutierrez, J. TÍTULO
: Defining degenerate robots symbolically. REF.
REVISTA/LIBRO: Mathematics and Computers in
Simulation. Special Issue: Non standard applications of computer
algebra (II), 441-449, vol.51, 5. 2000. CLAVE :A
AUTORES: Recio Muñiz, Tomás J. TÍTULO
: Tratamiento automático de la información geométrica. REF.
REVISTA/LIBRO: UNO, vol. 20. Abril 1999. pp 63-75.
ISSN:1135-6308 CLAVE :A
AUTORES: Recio Muñiz, Tomás J . TÍTULO : Compass
Avoidance.REF. REVISTA/LIBRO: Boletín no. 53,
Sociedad Matemática Puig Adam, Octubre, 1999, pag 59-67. CLAVE
:A
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
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
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
Kovács, Z; Lichtenegger, B.; Recio, T.;
Richard P. R.; Vélez, M.P.: “Exploring artwork through
Delaunay triangulations”. In: Annie Savard, Rebecca
Pearce (eds.), MACAS in the Digital Era:
Proceedings of the 2019 MACAS (Mathematics and its
Connections to the Arts and Sciences) Symposium,
Montreal, Quebec. Sept. 2020.
https://mcgill.ca/macas2019/proceedings
Ladra, M.; Páez-Guillán, P.; Recio, T.:
“Dealing with negative conditions in automated
proving: tools and challenges. The unexpected
consequences of Rabinowitsch’s trick.” Revista
de la Real Academia de Ciencias Exactas, Físicas
y Naturales. RACSAM 114 (4), (Oct. 2020).
https://doi.org/10.1007/s13398-020-00874-8
Carrillo de Albornoz y Torres, A.; Recio, T.: “De
curva a curva, con GeoGebra”. Boletín de la Sociedad
Puig Adam de Profesores de Matemáticas, vol. 110. Oct.
2020. pp. 8--26.
Kovács Z.; Recio T.: “Alternative
Solutions and Comments to the Problem Corner--
October 2020 issue”. The Electronic Journal of
Mathematics and Technology (eJMT).
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf
Kovács, Z.; Recio, T.; Richard, P.R.; Van Vaerenbergh S.; Vélez, M.P.: “Towards an Ecosystem for Computer-Supported Geometric Reasoning”. International Journal of Mathematical Education in Science and Technology. Nov. 2, 2020 (on-line). Volume 53, Issue 7, pp. 1701-1710, 2022
https://doi.org/10.1080/0020739X.2020.1837400
Kovács Z.;
Recio T.: “GeoGebra reasoning tools for humans and
for automatons”. Electronic Proceedings of the 25th
Asian Technology Conference in Mathematics, December
14-16, 2020. ISSN 1940-4204 (online version).
Etayo-Gordejuela, F.; de Lucas-Sanz, N.;
Recio, T.; Vélez, M.P.: “Inventando
teoremas con GeoGebra: un nuevo Teorema de la
Altura”, Boletín de la Soc. Puig Adam, No. 111, Abril 2021, pp.
8—27.
Kovács,
Z.; Recio, T.; Vélez, M. P.:"Merging Maple
and GeoGebra Automated Reasoning Tools". In:
Corless R.M., Gerhard J., Kotsireas I.S. (eds,)
Maple in Mathematics Education and Research. MC
2020. Communications in Computer and Information
Science, vol 1414. Springer, Cham, 2021. https://doi.org/10.1007/978-3-030-81698-8_17
Barlovits, S.;
Jablonski, S.; Lázaro del Pozo, C.; Ludwig, M.;
Recio, T.: “Teaching from a Distance – Math
Lessons during COVID-19 in Germany and Spain”. Educ.
Sci. 2021, 11, 406, https://doi.org/10.3390/educsci11080406
Kovács, Z.;
Recio,T.; Tabera, L.F.; Vélez, M.P.: “Dealing
with Degeneracies in Automated Theorem Proving in
Geometry”. Mathematics, 2021,9,1964.
https://doi.org/
10.3390/math9161964
Kovács,
Z.; Recio, T.; Vélez, M.P.: “Automated
reasoning tools in GeoGebra Discovery”
In: ISSAC
2021 Software Presentations. ACM
Communications in Computer Algebra, Vol. 55,
No. 2, Issue 216, June 2021. pp. 39--43.
https://doi.org/10.1145/3493492.3493495
Botana F.; Kovács Z.; Recio T.: “A mechanical geometer”. Mathematics in Computer Science, 15, 631–641 (2021). https://doi.org/10.1007/s11786-020-00497-7
Fortuny, J.M.; Recio, T.;
Richard, P.R.;
Roanes-Lozano, E.:
“Análisis del
discurso de los
profesores en
formación en un
contexto de
innovación
pedagógica en
geometría.” Annales
de Didactique et de
Sciences Cognitives,
Volume 26, 2021,
p. 195 –220.
Losada-Liste,
R.; Recio, T.:
“Mirando a los
cuadros a través de
los ojos de Voronoi.
(Looking at the
paintings through
Voronoi’s eyes)”. Boletín
de la Sociedad Puig
Adam de
Profesores de
Matemáticas, vol.
112. Oct.
2021, pp.
32--53.
Carrillo de Albornoz,
A.; Recio T.: “Extending envelope
computations in Computer Algebra/Dynamic
Geometry environments”. The Electronic
Journal of Mathematics and Technology
(eJMT), Vol. 15, (3), 2021.
Recio,T.; Losada,R.; Kovács, Z; Ueno, C.: “Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools”. Mathematics 2021, 9(20), 2548. https://doi.org/10.3390/math9202548
Taranto,
E.; Jablonski, S.; Recio, T.; Mercat, C;
Cunha, E.; Lázaro, C.;Ludwig, M: Mammana,
M.F.: “Professional Development in Mathematics
Education - Evaluation of a MOOC on Outdoor
Mathematics”, Mathematics 2021,
Volume 9, Issue 22, 2975, https://doi.org/10.3390/math9222975
Kovács, Z.; Recio, T.; Vélez,
M.P.: “Approaching Cesàro’s
inequality
through
GeoGebra
Discovery”. Proceedings of the 26th Asian
Technology
Conference in
Mathematics,
W.C. Yang,
D.B. Meade, M.
Majewski
(eds).
Published by
Mathematics
and
Technology,
LLC. ISSN
1940-4204
(Online
version:
http://atcm.mathandtech.org/EP2021).
Dec. 13-15,
2021. pp.
160-174
Kovács, Z.; Recio, T.; Vélez,
M.P: "GeoGebra
Discovery in
context". In: Predrag Janicic and Zoltán
Kovács (eds):
Proceedings of
the 13th
International
Conference on
Automated
Deduction in
Geometry (ADG
2021),
Hagenberg,
Austria/virtual,
September
15-17, 2021.
Electronic
Proceedings in
Theoretical
Computer
Science. 352,
pp. 141--147
(30th December
2021).
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.16,
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ADG2021
doi:10.4204/EPTCS.352.16
Gomez-Diaz, T. and Recio T.: “Research
Software
vs. Research Data I: Towards a Research Data
definition in the Open Science context” F1000Research 2022, 11:118
(https://doi.org/10.12688/f1000research.78195.2 )
Gomez-Diaz, T. and Recio T.: “Research
Software
vs. Research Data II: Protocols for Research Data
dissemination and evaluation in the Open Science
context”. F1000Research 2022, 11:117
( https://doi.org/10.12688/f1000research.78459.2
)
Kovács, Z.; Recio,T.; Tabera, L.F.; Vélez, M.P.: “Dealing with degeneracies in automated theorem proving in geometry: a zero-dimensional approach”. Actas del XVII Congreso EACA, pp. 113-117. Castellón de la Plana, Junio 20-22, 2022.
Kovács, Z.; Recio, T.; Vélez, M.P.: “Alternative Solutions and Comments to the Problem Corner-- October 2021 issue”. The Electronic Journal of Mathematics and Technology (eJMT). February 2022
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2021.pdf
Kovács,
Z.; Recio, T.; Vélez, M. P.: "Automated
reasoning tools with GeoGebra: What are they? What
are they good for?" In: P. R. Richard, M. P.
Vélez, S. van Vaerenbergh (eds): Mathematics
Education in the Age of Artificial Intelligence:
How Artificial Intelligence can serve mathematical
human learning. Series: Mathematics Education in
the Digital Era, Springer, 2022, pp. 23-44.
https://doi.org/10.1007/978-3-030-86909-0_2
Recio, T.:
"Epilogue". In: P. R. Richard, M. P. Vélez, S. van
Vaerenbergh (eds): Mathematics Education in the Age
of Artificial Intelligence: How Artificial
Intelligence can serve mathematical human learning.
Series: Mathematics Education in the Digital Era,
Springer , 2022, pp. 437-444.
https://rd.springer.com/content/pdf/bbm%3A978-3-030-86909-0%2F1.pdf
Barlovits, S.; Caldeira, A.; Fesakis, G.; Jablonski, S.; Filippaki, D. K.; Lázaro, C.; Ludwig, M.; Mammana, M.F.; Moura, A.; Oehler, D-X. K.; Recio,T.; Taranto, E.; Volika, S.: “Adaptive, Synchronous and Mobile Online Education: Developing the ASYMPTOTE Learning Environment”, Mathematics 2022, Volume 10, issue 10, 1628. https://doi.org/10.3390/math10101628
Recio, T.; Losada, R.; Tabera, L.F.;
Ueno, C.: “Visualizing a cubic linkage through the
use of CAS and DGS”. Mathematics 2022,
Vol. 10(15), 2550. Special Issue on
Symbolic Computation for Mathematical Visualization.
22 Jul 2022; https://doi.org/10.3390/math10152550
Recio, T.;
Vélez, M.P.; Ueno, C.: “Niagara Falls and the
Origins of Computer Algebra”. Maple Transactions
Vol. 2, No. 1, Article 14362 , July 2022.
https://doi.org/10.5206/mt.v2i1.14362 .
Brown,C.,
Kovács
, Z., Recio, T., Vajda, R., Vélez
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