CLAVE : L = libro completo, CL = cap�tulo de libro, A= art�culo, R = review, E = editor.
AUTORES: Recio Mu�iz, Tom�s Jes�s. T�TULO : Funtores
de complecci�n. REF. REVISTA/LIBRO: I Jornadas
Matem�ticas Luso-Espa�olas . Insituto Jorge Juan de Matem�ticas.
C.S.I.C, Madrid. 1972. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s Jes�s. T�TULO : Algunas
consideraciones sobre el cono tangente. REF.
REVISTA/LIBRO : Actas, I Jornadas Hispano-Lusas, Insituto
Jorge Juan de Matem�ticas. C.S.I.C., Madrid. 1973 CLAVE :
A
AUTORES: Recio Mu�iz, Tom�s Jes�s. T�TULO : Equisingularidad
de una secci�n plana gen�rica. REF. REVISTA/LIBRO:
Revista Hispano Americana-T.36-5-6,1976. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s Jes�s. T�TULO : Conjuntos
Preanal�ticos, Prenashicos y Prealgebraicos REF.
REVISTA/LIBRO: Monograf�as y memorias de Matem�ticas,
Insituto Jorge Juan de Matem�ticas. CSIC, Madrid.1977.
https://eprints.ucm.es/id/eprint/75954/
CLAVE : L
AUTORES: Recio Mu�iz, Tom�s Jes�s. T�TULO : Una
descomposici�n de un conjunto semialgebraico. REF.
REVISTA/LIBRO: V Cong. Intern. de Expresi�n Latina, Mallorca
1977, C.S.I.C. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s Jes�s; Espino Santana, V�ctor.
T�TULO : Sobre las secciones hiperplanas de un conjunto
algebraico real. REF. REVISTA/LIBRO: Revista Hispano
Americana, T-39-4-5, 1979 CLAVE : A
AUTORES: Recio Mu�iz, Tom�s Jes�s; Dubois, D.W. T�TULO
: Ordered Fields and Real Algebraic Geometry. REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: E
AUTORES: Recio Mu�iz, Tom�s Jes�s; Dubois, D.W. T�TULO
: Order Extensions and Real Algebraic Geometry . REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s Jes�s; Dubois, D.W. T�TULO
: Subordinate Structure Sheaves. REF. REVISTA/LIBRO:
Lecture Notes in Mathematics 959. Springer, 1982 CLAVE : A
AUTORES: Gamboa, J. M., Recio Mu�iz, Tom�s J.; T�TULO
: Ordered Fields and the Dense Orbits Property. REF.
REVISTA/LIBRO: J. Pure Applied Algebra 30, 1983 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s Jes�s; Dubois, D.W. T�TULO
: A Note on Robinson's nonnegativity criterion . REF.
REVISTA/LIBRO: Fund. Math. 122, 1984. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J. T�TULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Proc. Sem. Algebre R�elle. Paris VII, 1986 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Fern�ndez, Fernando, Ruiz
Sancho, Jes�s. T�TULO : Generalized Thom's Lemma in
Semianalytic Geometry. REF. REVISTA/LIBRO: Bull.
Acad. Pol. Sc., 1987. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Miranda, Isabel. T�TULO
:Thom's Lemma in Real Geometry. REF. REVISTA/LIBRO
: Singularities. Banach Cent. Pub. V-20, 1987. CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Pardo Vasallo, Luis
Miguel. T�TULO : Arboles Algebraicos: Un modelo de
Computaci�n en Geometr�a. (Contribuciones en memoria del
Profesor E. Villar). REF. REVISTA/LIBRO: Un. de
Cantabria Secret. Pub. (1988). CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Pardo Vasallo, Luis
Miguel. T�TULO : Rabin's width of a Complete Proof and
the width of a semialgebraic set. REF. REVISTA/LIBRO:
Lect.N. in Computer Sci. 378, Springer, 1989, pp.456-463 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J. ; Roy, M.F.; Raimondo, M.;
Cucker, F.; Pardo, L.M. T�TULO : Computation of the
local and global analytic structure of a real curve. REF.
REVISTA/LIBRO : Lect.N. in Computer Sci. 356, Springer,
1989, pp.161-182 CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gutierrez, J.; Ruiz de
Velasco, C. T�TULO : An almost quadratic polynomial
decomposition algorithm.
REF. REVISTA/LIBRO: Lect.N. in Computer Sci. 357, Springer,
1989. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez, L.; Roy, M.F.;
Lombardi, H. T�TULO : Sturm-Habicht Sequence . REF.
REVISTA/LIBRO: Proc. ACM-Issac-89, Portland Oreg�n 136-146.
CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez, L.; Roy, M.F.;
Lombardi, H. T�TULO : Specialisation de la suite de
Sturm et sous-resultants. REF. REVISTA/LIBRO: Calsif
Bull. n.305 pp. 48-101, 1989. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez Corbal�n, A. T�TULO
: Shape invariant lists and realization as plane real
algebraic curves with double points. REF. REVISTA/LIBRO:
Springer Lect. Not in Math., 1420, pp.146-169. 1990. CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez, L.; Roy, M.F.;
Lombardi, H. T�TULO : Specialisation de la suite de
Sturm et sous-resultants,I. REF. REVISTA/LIBRO:
Revue de Informatique Theorique Vol 24,6. 1990. pp. 561-588. CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J. T�TULO : Algebra
y Geometr�a Computacional en el curriculum de Matem�ticas .
REF. REVISTA/LIBRO: Epsilon, n.16, 1990. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J. T�TULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Seminarie sur les Structures Algebriques
Ordonnes, Selection des Exposees 1984-87, Publications
Mathematiques de l'Universite Paris VII, Paris, 1990, ISSN
0073-8301.
AUTORES: Recio Mu�iz, Tom�s J.; Maz�n, M. T�TULO :
Voronoi diagrams coming from discrete groups on the plane.
REF. REVISTA/LIBRO: Canadian Comp. Geometry. Ottawa Univ.,1990. CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Pardo, L.m.; Monta�a, J.L.
T�TULO : The non-scalar model of complexity in
computational semialgebraic geometry. REF. REVISTA/LIBRO:
Progress in Math. 94, Birkhauser, 1991 CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: Some Algorithms from Real Algebraic Geometry for the
Computation of Basic Problems in Robot Motion Planning. REF.
REVISTA/LIBRO: Aportaciones Matematicas en memoria del Prof.
Onieva. U. de Cantabria, 1991. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: The ROMIN inverse geometricmodel and the Dynamic evaluation
method. REF. REVISTA/LIBRO: The SCAFI (Studies on Computer
Algebra for Industry) papers. Wiley, 1991. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: El Algoritmo de Laumond Modificado para la Planificaci�n de
Tareas de Robots. REF. REVISTA/LIBRO: Actas del II
Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Maz�n, M.L. T�TULO
: Diagramas de Voronoi en Caleidoscopios. REF.
REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM.
Madrid, 1991. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J. T�TULO :Geometr�a
Algebraica y Geometr�a Computacional. REF. REVISTA/LIBRO:
Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Heintz, J.; Roy, M.F. T�TULO
: Algorithms in Real Algebraic Geometry and Applications to
Computational Geometry.REF. REVISTA/LIBRO: DIMACS
(Dicrete Mathematics and Computer Sciences) series vol. 6, AMS,
1991. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Guti�rrez, J. T�TULO
: Rational Function Decomposition and Grobner Bases in the
Parametrization of Plane Curves. REF. REVISTA/LIBRO
: LATIN 92, LN Computer Science 583, 1992. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Guti�rrez, J.
T�TULO : A practical implementation of two rational
function decomposition algorithms. REF. REVISTA/LIBRO
: Proc. ISSAC'92, Berkeley ACM press. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J. T�TULO : El
c�lculo simb�lico aut�matico y la ense�anza del �lgebra
elemental en el dise�o curricular base. REF.
REVISTA/LIBRO: SUMA, pag.13-28, 1993. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-Corbal�n A.;
Santos, F.; Maz�n M. T�TULO : On the shape of planar
Voronoi diagrams. REF. REVISTA/LIBRO: ACM press.
Proc. 9th ACM Symposium on Computational Geometry. San Diego.
1993. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-Corbal�n A.;
Santos, F.; Maz�n M. T�TULO : El problema isovoronoi
para distancias estrictamente convexas en el plano. REF.
REVISTA/LIBRO : Actas III encuentro de Geometria
Computacional. Universidad de Zaragoza. Servicio de
Publicaciones.1993. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-Corbal�n A.;
Maz�n M. T�TULO :Bisectores para una distancia
estrictamente convexa en el plano. REF. REVISTA/LIBRO:
Actas III encuentro de Geometria Computacional. Universidad de
Zaragoza. Servicio de Publicaciones.1993. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: Path Tracking in Robotics. REF. REVISTA/LIBRO :
Special Issue on Quantifier Elimination, Computer Journal, North
Holland. Vol. 36,number 5,1993, pp.515-524 CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: Formal Determination of Polynomial Consequences of Real
Orthogonal Matrices. In: Recent advances in real algebraic
geometry and quadratic forms:proceedings of the RAGSQUAD year REF.
REVISTA/LIBRO : Contemp. Math.155, 1994, pp 141-165 . CLAVE
: A
AUTORES: Andradas, C.; Recio Mu�iz, Tom�s J. T�TULO
: D.W. Dubois and the Pioneer Days of Real Algebraic Geometry.
In: Recent advances in real algebraic geometry and quadratic
forms:proceedings of the RAGSQUAD year REF. REVISTA/LIBRO:
Contemp. Math.155, 1994 . CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Monta�a, J.L; Pardo, L.M.
T�TULO : A note on Rabin's width of a complete proof.
REF. REVISTA/LIBRO: Computational Complexity,1994,pp.12-36.
CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez, L.; Roy, M.F.;
Lombardi, H. T�TULO : Specialisation de la suite de
Sturm et sous-resultants, II. REF. REVISTA/LIBRO:
Revue de Informatique Theorique 28,1,1994,pp 1-24. CLAVE :
A
AUTORES: Recio Mu�iz, Tom�s J.;G�nzalez L�pez, M.J. T�TULO
: On the symbolic insimplification of the general 6R
manipulator inverse kinematic equations. REF.
REVISTA/LIBRO : Procceding of the International Symposisum
on Symbolic and Algebraic Computation (ISSAC). Oxford, july, 1994.
pp 354-358, ACM press. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.;Maz�n M. T�TULO : Voronoi
Diagramas on Euclidean and Spherical 2-Orbifolds . REF.
REVISTA/LIBRO: Proceedings of the Tenth European Workshop on
Computational Geometry. 1994.Universidad de Cantabria. CLAVE
: A
AUTORES: Recio T.; Gonzalez-Lopez, M.J. T�TULO : Display
of a straight line path for a 2R planar manipulator.
REF. REVISTA/LIBRO: Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.1-9. CLAVE : A
AUTORES: Recio T.; Alonso, C; Gutierrez, J. T�TULO
: Simplificacion de curvas parametricas REF.
REVISTA/LIBRO : Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.95-101. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.;Maz�n M; Santos, F. T�TULO
: Proceedings of the Tenth European Workshop on Computational
Geometry. 1994. REF. REVISTA/LIBRO:. CLAVE :
Editores
AUTORES: Recio Mu�iz, Tom�s J.;Alonso, C.,Gutierrez,J. T�TULO
: Real parametric curves: some symbolic algorithm issues.
REF. REVISTA/LIBRO:.14th IMACS (Institute for Mathematics
and Computers in Simulation) World Symposium. Atlanta. 1994 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J.; Alonso, C.,Gutierrez, J. T�TULO
: FRAC:A Maple package for computing in the rational functionn
field K(x) REF. REVISTA/LIBRO: Maple V: Mathematics
and applications, 1994, Ed. R. J. L�pez, Birkhauser. pp 107-115 CLAVE
: A
AUTORES: Recio Mu�iz, Tom�s J..; Gonzalez Lopez, M.J. T�TULO
:Symbolic simplification of kinematic equations. Rigid motion
representation and the Stewart platform case. REF.
REVISTA/LIBRO :Actas del Congreso Internacional de Teoria de
Anillos. Ameria, 1993- Editores M.J. Asensio, B. Torrecillas, F.
Van Oystaeyen. Universidad de Almeria. Servicio de
Publicaciones.1995. CLAVE : CL
AUTORES: Recio Mu�iz, Tom�s J.; Gonz�lez-L�pez, M.J. T�TULO
: Voronoi Computability in SE(3). REF. REVISTA/LIBRO:
Real Analytic and Algebraic Geometry. F. Broglia, M. Galbiati, A.
Tognoli (eds). De Gruyter Proceedings in Mathematics.
pp137-149,1995. CLAVE : A
AUTORES: Recio Mu�iz, Tom�s J.;Alonso, C.,Gutierrez,J. T�TULO
: An implicitization algorithm with fewer 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\'acs, Z; Lichtenegger, B.; Recio, T.;
Richard P. R.; V\'elez, M.P.: Exploring artwork through
Delaunay triangulations. In: Annie Savard, Rebecca Pearce
(eds.), MACAS in the Digital Era: Proceedings of the
2019 MACAS (Mathematics and its Connections to the Arts
and Sciences) Symposium, Montreal, Quebec. Sept. 2020.
https://mcgill.ca/macas2019/proceedings
Ladra, M.; P\'aez-Guill\'en, P.; Recio, T.: Dealing with
negative conditions in automated proving: tools and
challenges. The unexpected consequences of Rabinowitsch's
trick.Revista de la Real Academia de Ciencias Exactas,
Fisicas y Naturales. RACSAM 114 (4), (Oct. 2020).
https://doi.org/10.1007/s13398-020-00874-8
Carrillo de Albornoz y Torres, A.; Recio, T.: De curva a
curva, con GeoGebra. Boletin de la Sociedad Puig Adam de
Profesores de Matematicas, vol. 110. Oct. 2020. pp. 8--26.
Kov\'acs Z.; Recio T.: Alternative
Solutions and Comments to the Problem Corner-- October
2020 issue. The Electronic Journal of Mathematics and
Technology (eJMT).
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf
Kov\'acs, Z.; Recio, T.; Richard, P.R.; Van Vaerenbergh S.; V\'elez, M.P.: Towards an Ecosystem for Computer-Supported Geometric Reasoning. International Journal of Mathematical Education in Science and Technology. Nov. 2, 2020 (on-line). Volume 53, Issue 7, pp. 1701-1710, 2022
https://doi.org/10.1080/0020739X.2020.1837400
Kov\'acs Z.;
Recio T.: GeoGebra reasoning tools for humans and for
automatons. Electronic Proceedings of the 25th Asian
Technology Conference in Mathematics, December 14-16,
2020. ISSN 1940-4204 (online version).
Etayo-Gordejuela, F.; de Lucas-Sanz, N.;
Recio, T.; V\'elez, M.P.: Inventando
teoremas con GeoGebra: un nuevo Teorema de la
Altura, Bolet\' in de la Soc. Puig Adam, No. 111, Abril 2021, pp.
8--27.
Kov\'acs,
Z.; Recio, T.; V\'elez, M. P.:"Merging Maple and
GeoGebra Automated Reasoning Tools". In: Corless R.M.,
Gerhard J., Kotsireas I.S. (eds,) Maple in Mathematics
Education and Research. MC 2020. Communications in
Computer and Information Science, vol 1414. Springer,
Cham, 2021. https://doi.org/10.1007/978-3-030-81698-8_17
Barlovits, S.; Jablonski, S.;
Lázaro del Pozo, C.; Ludwig, M.; Recio, T.: Teaching
from a Distance: Math Lessons during COVID-19 in
Germany and Spain. Educ. Sci. 2021, 11, 406, https://doi.org/10.3390/educsci11080406
Kov\'acs, Z.;
Recio,T.; Tabera, L.F.; V\'elez, M.P.: Dealing with
Degeneracies in Automated Theorem Proving in Geometry. Mathematics,
2021,9,1964.
https://doi.org/
10.3390/math9161964
Kov\'acs,
Z.; Recio, T.; V\'elez, M.P.: Automated reasoning tools
in GeoGebra Discovery
In: ISSAC 2021
Software Presentations. ACM Communications in Computer
Algebra, Vol. 55, No. 2, Issue 216, June 2021. pp.
39--43.
https://doi.org/10.1145/3493492.3493495
Botana F.; Kov\'acs Z.; Recio T.: A mechanical geometer. Mathematics in Computer Science, 15, 631�641 (2021). https://doi.org/10.1007/s11786-020-00497-7
Fortuny,
J.M.; Recio, T.; Richard, P.R.; Roanes-Lozano,
E.: An\'alisis del discurso de los profesores en
formaci\'on en un contexto de innovaci\'on
pedag\'agica en geometr\'ia. Annales de
Didactique et de Sciences Cognitives, Volume 26,
2021, p. 195--220.
Losada-Liste, R.; Recio,
T.: Mirando a los cuadros a trav\'es de los ojos
de Voronoi. (Looking at the paintings through
Voronoi's eyes). Bolet\'in
de la Sociedad Puig Adam de Profesores
de Matem\'aticas, vol. 112. Oct. 2021, pp.
32--53.
Carrillo de Albornoz,
A.; Recio T.: Extending envelope computations
in Computer Algebra/Dynamic Geometry
environments. The Electronic Journal of
Mathematics and Technology (eJMT), Vol. 15,
(3), 2021.
Recio,T.; Losada,R.; Kovács, Z; Ueno, C.: Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools. Mathematics 2021, 9(20), 2548. https://doi.org/10.3390/math9202548
Taranto,
E.; Jablonski, S.; Recio, T.; Mercat, C; Cunha,
E.; Lázaro, C.;Ludwig, M: Mammana, M.F.:
Professional Development in Mathematics Education
- Evaluation of a MOOC on Outdoor Mathematics, Mathematics
2021,
Volume 9, Issue 22, 2975, https://doi.org/10.3390/math9222975
Kov\'acs, Z.;
Recio, T.; V\'elez, M.P.: Approaching Ces\'aro's
inequality through GeoGebra
Discovery.
Proceedings of the 26th
Asian Technology Conference
in Mathematics, W.C. Yang,
D.B. Meade, M. Majewski
(eds). Published by
Mathematics and Technology,
LLC. ISSN 1940-4204 (Online
version:
http://atcm.mathandtech.org/EP2021).
Dec. 13-15, 2021. pp.
160-174
Kov\'acs,
Z.; Recio, T.; V\'elez, M.P: "GeoGebra Discovery
in context". In:
Predrag Janicic and Zolt\'an Kov\'acs (eds):
Proceedings of the 13th International Conference
on Automated Deduction in Geometry (ADG 2021),
Hagenberg, Austria/virtual, September 15-17,
2021. Electronic Proceedings in Theoretical
Computer Science. 352, pp. 141--147 (30th
December 2021).
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.16,
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ADG2021
doi:10.4204/EPTCS.352.16
Gomez-Diaz, T. and Recio T.: Research
Software vs. Research Data I: Towards a Research Data
definition in the Open Science context. F1000Research 2022, 11:118
(https://doi.org/10.12688/f1000research.78195.2 )
Gomez-Diaz, T. and Recio T.: Research
Software vs. Research Data II: Protocols for Research
Data dissemination and evaluation in the Open Science
context. F1000Research 2022, 11:117
( https://doi.org/10.12688/f1000research.78459.2
)
Kovács, Z.; Recio,T.; Tabera, L.F.; Vélez, M.P.: Dealing with degeneracies in automated theorem proving in geometry: a zero-dimensional approach. Actas del XVII Congreso EACA, pp. 113-117. Castellón de la Plana, Junio 20-22, 2022.
Kov\'acs, Z.; Recio, T.; V\'elez, M.P.: Alternative Solutions and Comments to the Problem Corner-- October 2021 issue. The Electronic Journal of Mathematics and Technology (eJMT). February 2022
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2021.pdf
Kov\'acs,
Z.; Recio, T.; V\'elez, M.P.: "Automated reasoning
tools with GeoGebra: What are they? What are they good
for?" In: P. R. Richard, M. P. V\'elez, S. van
Vaerenbergh (eds): Mathematics Education in the Age of
Artificial Intelligence: How Artificial Intelligence
can serve mathematical human learning. Series:
Mathematics Education in the Digital Era, Springer,
2022, pp. 23-44. https://doi.org/10.1007/978-3-030-86909-0_2
Recio, T.:
"Epilogue". In: P. R. Richard, M. P. V\'elez, S. van
Vaerenbergh (eds): Mathematics Education in the Age of
Artificial Intelligence: How Artificial Intelligence can
serve mathematical human learning. Series: Mathematics
Education in the Digital Era, Springer , 2022, pp.
437-444. https://rd.springer.com/content/pdf/bbm%3A978-3-030-86909-0%2F1.pdf
Barlovits, S.; Caldeira, A.; Fesakis, G.; Jablonski, S.; Filippaki, D. K.; Lázaro, C.; Ludwig, M.; Mammana, M.F.; Moura, A.; Oehler, D-X. K.; Recio,T.; Taranto, E.; Volika, S.: Adaptive, Synchronous and Mobile Online Education: Developing the ASYMPTOTE Learning Environment, Mathematics 2022, Volume 10, issue 10, 1628. https://doi.org/10.3390/math10101628
Recio, T.; Losada, R.; Tabera, L.F.; Ueno,
C.: Visualizing a cubic linkage through the use of CAS
and DGS. Mathematics 2022, Vol. 10(15),
2550. Special Issue on Symbolic Computation for
Mathematical Visualization. 22 Jul 2022; https://doi.org/10.3390/math10152550
Recio, T.;
V\'elez, M.P.; Ueno, C.: Niagara Falls and the Origins
of Computer Algebra. Maple Transactions Vol. 2, No. 1,
Article 14362 , July 2022. https://doi.org/10.5206/mt.v2i1.14362
.
Brown,C.,
Kov\'acs ,
Z., Recio, T., Vajda, R., V\'elez
M.P.: Is
Computer Algebra Ready for Conjecturing and Proving
Geometric Inequalities in the Classroom? Mathematics in
Computer Science 16(31). December 2022. DOI:
10.1007/s11786-022-00532-9
https://rdcu.be/c07bf
Recio, T., V\'elez M.P.: Augmented intelligence with GeoGebra and Maple involvement. Electronic Proceedings of the 27th Asian Technology Conference in Mathematics (2022). Editors: Wei-Chi Yang, Miroslaw Majewski, Douglas Meade, Weng Kin Ho. Published by Mathematics and Technology, LLC (http://mathandtech.org/) ISSN 1940-4204 (online version). https://atcm.mathandtech.org/EP2022/invited/21969.pdf
https://biblioteca.nebrija.es/cgi-bin/opac/O8613/ID435b0bb3?MLKOB=68531218383
Gamboa, J.M., Recio, T.: “Problem Corner”. The
Electronic Journal of Mathematics and Technology. June 2023.
https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Jun2023.pdf
Dana-Picard, T., Recio
T.: “Dynamic construction of a family of octic curves as
geometric loci”. AIMS Mathematics, 8(8): 19461–19476. doi:
10.3934/math.2023993
Kovács,
Z., Brown, C. Recio, T., Vajda, R.: “Computing with Tarski
formulas and semi-algebraic sets in a web browser,” Journal of
Symbolic Computation, 2023, 102235, ISSN 0747-7171,
https://doi.org/10.1016/j.jsc.2023.102235
.
Brown, C., Kovács, Z., Recio,
T.: “Faithful Real-Time Animation of Parametrized (Semi-)
Algebraic Expressions
via Cylindrical Algebraic Decomposition”, ACM Communications
in Computer
Algebra, Volume 57, Issue 2, June 2023. pp 43–46. https://doi.org/10.1145/3614408.3614413
Brown, C., Kovács, Z., Luksch,
S., Recio, T., Vajda, R., Vélez, M.P.: “Towards Detection of
Partial Truth via
Real Geometry”. Proceedings
of the 8th
SC-Square Workshop (SC-Square 2023, Satisfiability Checking
and Symbolic
Computation 2023), co-located with the 48th International
Symposium on Symbolic
and Algebraic Computation (ISSAC 2023), Tromsø, Norway, July
28, 2023. Edited
by Erika Ábrahám, Thomas Sturm,
https://ceur-ws.org/Vol-3455/short2.pdf
Kovács, Z., Recio,
T., Ueno, C., Vajda, R.: “The “never-proved”
triangle inequality: A GeoGebra and CAS approach”.
AIMS-Mathematics, 8(10): 22593–22642.
https://doi.org/10.3934/math.20231151