PUBLICACIONES
CLAVE : L = libro completo, CL = capítulo de libro, A= artículo, R = review, E = editor.
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Funtores
de complección. REF. REVISTA/LIBRO: I Jornadas
Matemáticas Luso-Españolas . Insituto Jorge Juan de Matemáticas.
C.S.I.C, Madrid. 1972. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Algunas
consideraciones sobre el cono tangente. REF.
REVISTA/LIBRO : Actas, I Jornadas Hispano-Lusas, Insituto
Jorge Juan de Matemáticas. C.S.I.C., Madrid. 1973 CLAVE :
A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Equisingularidad
de una sección plana genérica. REF. REVISTA/LIBRO:
Revista Hispano Americana-T.36-5-6,1976. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Conjuntos
Preanalíticos, Prenashicos y Prealgebraicos REF.
REVISTA/LIBRO: Monografías y memorias de Matemáticas,
Insituto Jorge Juan de Matemáticas. CSIC, Madrid.1977. CLAVE
: L
AUTORES: Recio Muñiz, Tomás Jesús. TÍTULO : Una
descomposición de un conjunto semialgebraico. REF.
REVISTA/LIBRO: V Cong. Intern. de Expresión Latina, Mallorca
1977, C.S.I.C. CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús; Espino Santana, Víctor.
TÍTULO : Sobre las secciones hiperplanas de un conjunto
algebraico real. REF. REVISTA/LIBRO: Revista Hispano
Americana, T-39-4-5, 1979 CLAVE : A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Ordered Fields and Real Algebraic Geometry. REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: E
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Order Extensions and Real Algebraic Geometry . REF.
REVISTA/LIBRO: Contemporary Mathematics-8-A.M.S, 1982 CLAVE
: A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: Subordinate Structure Sheaves. REF. REVISTA/LIBRO:
Lecture Notes in Mathematics 959. Springer, 1982 CLAVE : A
AUTORES: Gamboa, J. M., Recio Muñiz, Tomás J.; TÍTULO
: Ordered Fields and the Dense Orbits Property. REF.
REVISTA/LIBRO: J. Pure Applied Algebra 30, 1983 CLAVE
: A
AUTORES: Recio Muñiz, Tomás Jesús; Dubois, D.W. TÍTULO
: A Note on Robinson's nonnegativity criterion . REF.
REVISTA/LIBRO: Fund. Math. 122, 1984. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Proc. Sem. Algebre Réelle. Paris VII, 1986 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Fernández, Fernando, Ruiz
Sancho, Jesús. TÍTULO : Generalized Thom's Lemma in
Semianalytic Geometry. REF. REVISTA/LIBRO: Bull.
Acad. Pol. Sc., 1987. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Miranda, Isabel. TÍTULO
:Thom's Lemma in Real Geometry. REF. REVISTA/LIBRO
: Singularities. Banach Cent. Pub. V-20, 1987. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis
Miguel. TÍTULO : Arboles Algebraicos: Un modelo de
Computación en Geometría. (Contribuciones en memoria del
Profesor E. Villar). REF. REVISTA/LIBRO: Un. de
Cantabria Secret. Pub. (1988). CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Pardo Vasallo, Luis
Miguel. TÍTULO : Rabin's width of a Complete Proof and
the width of a semialgebraic set. REF. REVISTA/LIBRO:
Lect.N. in Computer Sci. 378, Springer, 1989, pp.456-463 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J. ; Roy, M.F.; Raimondo, M.;
Cucker, F.; Pardo, L.M. TÍTULO : Computation of the
local and global analytic structure of a real curve. REF.
REVISTA/LIBRO : Lect.N. in Computer Sci. 356, Springer,
1989, pp.161-182 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutierrez, J.; Ruiz de
Velasco, C. TÍTULO : An almost quadratic polynomial
decomposition algorithm.
REF. REVISTA/LIBRO: Lect.N. in Computer Sci. 357, Springer,
1989. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Sturm-Habicht Sequence . REF.
REVISTA/LIBRO: Proc. ACM-Issac-89, Portland Oregón 136-146.
CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants. REF. REVISTA/LIBRO: Calsif
Bull. n.305 pp. 48-101, 1989. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González Corbalán, A. TÍTULO
: Shape invariant lists and realization as plane real
algebraic curves with double points. REF. REVISTA/LIBRO:
Springer Lect. Not in Math., 1420, pp.146-169. 1990. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants,I. REF. REVISTA/LIBRO:
Revue de Informatique Theorique Vol 24,6. 1990. pp. 561-588. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Algebra
y Geometría Computacional en el curriculum de Matemáticas .
REF. REVISTA/LIBRO: Epsilon, n.16, 1990. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : Specializing
the conditions for the existence of a real root. REF.
REVISTA/LIBRO: Seminarie sur les Structures Algebriques
Ordonnes, Selection des Exposees 1984-87, Publications
Mathematiques de l'Universite Paris VII, Paris, 1990, ISSN
0073-8301.
AUTORES: Recio Muñiz, Tomás J.; Mazón, M. TÍTULO :
Voronoi diagrams coming from discrete groups on the plane.
REF. REVISTA/LIBRO: Canadian Comp. Geometry. Ottawa Univ.,1990. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Pardo, L.m.; Montaña, J.L.
TÍTULO : The non-scalar model of complexity in
computational semialgebraic geometry. REF. REVISTA/LIBRO:
Progress in Math. 94, Birkhauser, 1991 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Some Algorithms from Real Algebraic Geometry for the
Computation of Basic Problems in Robot Motion Planning. REF.
REVISTA/LIBRO: Aportaciones Matematicas en memoria del Prof.
Onieva. U. de Cantabria, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: The ROMIN inverse geometricmodel and the Dynamic evaluation
method. REF. REVISTA/LIBRO: The SCAFI (Studies on Computer
Algebra for Industry) papers. Wiley, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: El Algoritmo de Laumond Modificado para la Planificación de
Tareas de Robots. REF. REVISTA/LIBRO: Actas del II
Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Mazón, M.L. TÍTULO
: Diagramas de Voronoi en Caleidoscopios. REF.
REVISTA/LIBRO: Actas del II Encuentro de Geom. Comp. UPM.
Madrid, 1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO :Geometría
Algebraica y Geometría Computacional. REF. REVISTA/LIBRO:
Actas del II Encuentro de Geom. Comp. UPM. Madrid, 1991. CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Heintz, J.; Roy, M.F. TÍTULO
: Algorithms in Real Algebraic Geometry and Applications to
Computational Geometry.REF. REVISTA/LIBRO: DIMACS
(Dicrete Mathematics and Computer Sciences) series vol. 6, AMS,
1991. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J. TÍTULO
: Rational Function Decomposition and Grobner Bases in the
Parametrization of Plane Curves. REF. REVISTA/LIBRO
: LATIN 92, LN Computer Science 583, 1992. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Gutiérrez, J.
TÍTULO : A practical implementation of two rational
function decomposition algorithms. REF. REVISTA/LIBRO
: Proc. ISSAC'92, Berkeley ACM press. CLAVE : A
AUTORES: Recio Muñiz, Tomás J. TÍTULO : El
cálculo simbólico autómatico y la enseñanza del álgebra
elemental en el diseño curricular base. REF.
REVISTA/LIBRO: SUMA, pag.13-28, 1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Santos, F.; Mazón M. TÍTULO : On the shape of planar
Voronoi diagrams. REF. REVISTA/LIBRO: ACM press.
Proc. 9th ACM Symposium on Computational Geometry. San Diego.
1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Santos, F.; Mazón M. TÍTULO : El problema isovoronoi
para distancias estrictamente convexas en el plano. REF.
REVISTA/LIBRO : Actas III encuentro de Geometria
Computacional. Universidad de Zaragoza. Servicio de
Publicaciones.1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-Corbalán A.;
Mazón M. TÍTULO :Bisectores para una distancia
estrictamente convexa en el plano. REF. REVISTA/LIBRO:
Actas III encuentro de Geometria Computacional. Universidad de
Zaragoza. Servicio de Publicaciones.1993. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Path Tracking in Robotics. REF. REVISTA/LIBRO :
Special Issue on Quantifier Elimination, Computer Journal, North
Holland. Vol. 36,number 5,1993, pp.515-524 CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Formal Determination of Polynomial Consequences of Real
Orthogonal Matrices. In: Recent advances in real algebraic
geometry and quadratic forms:proceedings of the RAGSQUAD year REF.
REVISTA/LIBRO : Contemp. Math.155, 1994, pp 141-165 . CLAVE
: A
AUTORES: Andradas, C.; Recio Muñiz, Tomás J. TÍTULO
: D.W. Dubois and the Pioneer Days of Real Algebraic Geometry.
In: Recent advances in real algebraic geometry and quadratic
forms:proceedings of the RAGSQUAD year REF. REVISTA/LIBRO:
Contemp. Math.155, 1994 . CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; Montaña, J.L; Pardo, L.M.
TÍTULO : A note on Rabin's width of a complete proof.
REF. REVISTA/LIBRO: Computational Complexity,1994,pp.12-36.
CLAVE : A
AUTORES: Recio Muñiz, Tomás J.; González, L.; Roy, M.F.;
Lombardi, H. TÍTULO : Specialisation de la suite de
Sturm et sous-resultants, II. REF. REVISTA/LIBRO:
Revue de Informatique Theorique 28,1,1994,pp 1-24. CLAVE :
A
AUTORES: Recio Muñiz, Tomás J.;Gónzalez López, M.J. TÍTULO
: On the symbolic insimplification of the general 6R
manipulator inverse kinematic equations. REF.
REVISTA/LIBRO : Procceding of the International Symposisum
on Symbolic and Algebraic Computation (ISSAC). Oxford, july, 1994.
pp 354-358, ACM press. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Mazón M. TÍTULO : Voronoi
Diagramas on Euclidean and Spherical 2-Orbifolds . REF.
REVISTA/LIBRO: Proceedings of the Tenth European Workshop on
Computational Geometry. 1994.Universidad de Cantabria. CLAVE
: A
AUTORES: Recio T.; Gonzalez-Lopez, M.J. TÍTULO : Display
of a straight line path for a 2R planar manipulator.
REF. REVISTA/LIBRO: Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.1-9. CLAVE : A
AUTORES: Recio T.; Alonso, C; Gutierrez, J. TÍTULO
: Simplificacion de curvas parametricas REF.
REVISTA/LIBRO : Actas de la IV Conferencia Espanola de
Informatica Grafica. Zaragoza, 1994, pp.95-101. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Mazón M; Santos, F. TÍTULO
: Proceedings of the Tenth European Workshop on Computational
Geometry. 1994. REF. REVISTA/LIBRO:. CLAVE :
Editores
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
: Real parametric curves: some symbolic algorithm issues.
REF. REVISTA/LIBRO:.14th IMACS (Institute for Mathematics
and Computers in Simulation) World Symposium. Atlanta. 1994 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J.; Alonso, C.,Gutierrez, J. TÍTULO
: FRAC:A Maple package for computing in the rational functionn
field K(x) REF. REVISTA/LIBRO: Maple V: Mathematics
and applications, 1994, Ed. R. J. López, Birkhauser. pp 107-115 CLAVE
: A
AUTORES: Recio Muñiz, Tomás J..; Gonzalez Lopez, M.J. TÍTULO
:Symbolic simplification of kinematic equations. Rigid motion
representation and the Stewart platform case. REF.
REVISTA/LIBRO :Actas del Congreso Internacional de Teoria de
Anillos. Ameria, 1993- Editores M.J. Asensio, B. Torrecillas, F.
Van Oystaeyen. Universidad de Almeria. Servicio de
Publicaciones.1995. CLAVE : CL
AUTORES: Recio Muñiz, Tomás J.; González-López, M.J. TÍTULO
: Voronoi Computability in SE(3). REF. REVISTA/LIBRO:
Real Analytic and Algebraic Geometry, II. De Gruyter Publ.
pp137-149,1995. CLAVE : A
AUTORES: Recio Muñiz, Tomás J.;Alonso, C.,Gutierrez,J. TÍTULO
: An implicitization algorithm with fewer 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 :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :} Competencia Obligatoria
\item{}{\ninerm REF. REVISTA/LIBRO:} La Gaceta de la RSME,
Vol. 11 (2008), Núm. 3, Págs. 559–571 \hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Corinne Hahn; Will Morony
\item{}{\ninerm TITULO :} El papel de las sociedades
profesionales
en la educación matem\'atica. Conclusiones del Grupo de Debate 28
en el ICME 11
\item{}{\ninerm REF. REVISTA/LIBRO:} UNI\'ON, Diciembre de
2008, Número 16, p\'aginas 293-312
ISSN: 1815-0640
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :} Pr\'ologo
\item{}{\ninerm REF. REVISTA/LIBRO:} En: COMPETENCIAS
MATEM\'ATICAS DESDE
UNA PERSPECTIVA CURRICULAR. Luis Rico y Jose Luis Luipa\~ez.
Alianza Editorial. 2008.
\hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
\item{}{\ninerm TITULO :} El proyecto europeo de geometria
dinamica Intergeo
\item{}{\ninerm REF. REVISTA/LIBRO:} Boletin SMPC, pp 9-13,
10, 2008\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :} Sobre el descubrimiento
autom\'atico de diversas generalizaciones del Teorema de
Steiner-Lehmus
\item{}{\ninerm REF. REVISTA/LIBRO:} Boletin Sociedad
Matem\'atica Puig Adam, no. 82, (2009), pp. 53-76 \hfill {\ninerm
CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
Rafael Sendra; Carlos Andradas; Luis F. Tabera
\item{}{\ninerm TITULO :} On the simplification of the
coefficients of a parametrization
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Symbolic
Computation
Volume 44, Issue 2, February 2009.
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.
\item{}{\ninerm TITULO :} LA EVALUACI\'ON DE LAS
COMPETENCIAS MATEM\'ATICAS:
FACTORES ESCONDIDOS
\item{}{\ninerm REF. REVISTA/LIBRO:} Desarrollo de las
competencias b\'asicas a trav\'es de las matem\'aticas..
Colecci\'on Aulas de Verano. Ministerio de Educaci\'on. Instituto
Formaci\'on Profesorado, Investigaci\'on e Innovaci\'on educativa.
(2009) pp. 189-207. ISBN 978-84-369-4756-4
\hfill {\ninerm CLAVE :} CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Generalizing circles over
algebraic extensions
\item{}{\ninerm REF. REVISTA/LIBRO:} MATHEMATICS OF COMPUTATION
Volume 79, Number 270, April 2010, Pages 1067–1089
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
Dalzotto, G.
\item{}{\ninerm TITULO :} On protocols for the automated
discovery of
theorems in elementary geometry
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Automated
Reasoning (2009) 43: 203--236.
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.; Sendra,
J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Manual de Hiperc{\'\i}rculos.
\item{}{\ninerm REF. REVISTA/LIBRO:} En: CONTRIBUCIONES
CIENTIFICAS EN HONOR DE MIRIAN ANDR\'ES G\'OMEZ,
Laureano Lamb\'an, Ana Romero y Julio Rubio (Editores)
Universidad de La Rioja. Servicio de Publicaciones
Logro\~no, 2010, ISBN 978-84-96487-50-5, pp. 417-439
\hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{} {\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.; Fioravanti,
M.
\item{} {\ninerm TITULO:} The Intergeo Project
\item{} {\ninerm REF. REVISTA/LIBRO:} Proceedings TIME 2010,
M\'alaga, 2010
\hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :} On the automatic discovery of
Steiner-Lehmus generalizations
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ADG 2010,
(J. Richter-Gebert, P. Schreck, editors), pp.171-174, Munich, 2010
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :} Igualdad de bisectores internos y
externos en tri\'angulos \item{}{\ninerm REF.
REVISTA/LIBRO:} Actas EACA 2010, (J.L. Freire, M. Ladra,
editores), Santiago 2010 \hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Rafael Losada; Jose Luis Valcarce
\item{}{\ninerm TITULO :} Equal bisectors at a vertex of a
triangle
\item{}{\ninerm REF. REVISTA/LIBRO:} B. Murgante et
al. (Eds.): ICCSA 2011, Part IV, LNCS 6785, pp. 328–341,
2011. Springer-Verlag Berlin Heidelberg 2011.
\hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Montes, A.
\item{}{\ninerm TITULO :} Generalizing the Steiner-Lehmus
theorem using the Gr\"obner cover
\item{}{\ninerm REF. REVISTA/LIBRO:} P. Ramos, V.
Sacrist\'an (Eds.): Proceedings XIV Spanish Meeting on
Computational Geometry. CRM Documents, no. 8. 2011, pp. 225-229.
ISBN 2014-2323 \hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
Andradas, C; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Proper Real Reparametrization of
Rational Ruled Surfaces
\item{}{\ninerm REF. REVISTA/LIBRO:} Computer Aided
Geometric Design 28 (2011) 102-113
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.; Sendra,
J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Algorithmic Detection of
Hypercircles
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and Computers in
Simulation 82 (2011) 54–67
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Arranz, J.M.; Losada, R; Mora, J.A. ; Sada, M. \item{}{\ninerm
TITULO :} Modeling the cube using GeoGebra.
\item{}{\ninerm REF. REVISTA/LIBRO:} Modeling the cube using
GeoGebra. In L. Bu \& R. Schoen (Eds.), Model-Centered
Learning: Pathways to mathematical understanding using GeoGebra
(pp. 119-131). Rotterdam: Sense Publishers. 2011.
\hfill {\ninerm CLAVE :}CL
.
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; V\'elez, P.
\item{}{\ninerm TITULO :} An Introduction to Automated
Discovery in
Geometry through Symbolic Computation
\item{}{\ninerm REF. REVISTA/LIBRO:} Numerical and Symbolic
Scientific Computing: Progress and Prospects" (U. Langer, P.
Paule, Editors.
Springer, Series: Texts and Monographs in Symbolic
Computation
2011, ISBN 978-3-7091-0793-5, Vienna, New York)
\hfill {\ninerm CLAVE :}CL
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Losada, R.
\item{}{\ninerm TITULO :} Descubrimiento autom\'atico en un
problema centenario
\item{}{\ninerm REF. REVISTA/LIBRO:} La Gaceta de la RSME,
Vol. 14 (2011), N\'um. 4, P\'ags. 693-702
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; J. Trgalova, U. Kortenkamp, A. P. Jahn, P. Libbrecht, Ch.
Mercat, S. Soury-Lavergne.
\item{}{\ninerm TITULO :} i2geo.net, a platform for
sharing dynamic geometry resources all over Europe, item{}{\ninerm
REF. REVISTA/LIBRO:} Poster at the CERME7 Conference, Rzeszow
(Poland) Feb. 9-13 2011.
http://i2geo.net/xwiki/bin/download/Main/Proceedings/CERME7poster.pdf
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Botana, F; Montes, A.
\item{}{\ninerm TITULO :} An Algorithm for Automatic
Discovery of Algebraic Loci. Extended Abstract
\item{}{\ninerm REF. REVISTA/LIBRO:} En Proceedings 9th ADG.
Informatics Research Reports. School of Informatics. University of
Edinburgh. 2012. pp. 53-61.
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm EDITORES:} Recio Mu\~niz,
Tom\'as J. (Associated Editor from the TMJ board); Botana,
F. (Guest Editor)
\item{}{\ninerm TITULO :} Special Issue on Symbolic
computation with Sage in mathematical education and research
\item{}{\ninerm REF. REVISTA/LIBRO:} Tbilisi Mathematica
Journal, Vol. 5, no. 2, 2012.
\hfill {\ninerm CLAVE :}Editores.
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Botana, F.
\item{}{\ninerm TITULO :} A prop\'osito de la envolvente de una
familia de elipses
\item{}{\ninerm REF. REVISTA/LIBRO:} N\'umero Especial en Memoria
Prof. J.J. Etayo Miqueo. Bolet{\'\i}n de la Sociedad Puig
Adam, no. 95, octubre 2013, pp 15-30.
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Factoring analytic multivariate
polynomials and non-standard Cauchy-Riemann conditions
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and
Computers in Simulation, Vol 104, Oct. 2014, pp. 43-57.
Available online 1 June 2013. DOI: 10.1016/j.matcom.2013.03.013.
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Montes, A.
\item{}{\ninerm TITULO :} Generalizing the
Steiner-Lehmus Theorem using the Gr\"obner Cover
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and Computers in
Simulation, Vol. 104, Oct. 2014, pp. 67-81.
Available online 16 August 2013. DOI:
10.1016/j.matcom.2013.06.006
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Andradas, C; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Reparametrizing Swung
Surfaces over the Reals
\item{}{\ninerm REF. REVISTA/LIBRO:} Applicable Algebra in
Engineering, Communication and Computing
April 2014, Volume 25, Issue 1-2, pp 39-65
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Abanades, M.; Botana, F.; Montes, A.
\item{}{\ninerm TITULO :} An algebraic taxonomy for locus
computation in dynamic geometry
\item{}{\ninerm REF. REVISTA/LIBRO:} Computer-Aided Design 56
(2014) 22-33. DOI information: 10.1016/j.cad.2014.06.008
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Botana, F.; Ab\'anades, M.A.; Montes, A.
\item{}{\ninerm TITULO :} Software using the Gr\"obner Cover
for geometrical loci computation and classification.
\item{}{\ninerm REF. REVISTA/LIBRO:} H. Hong and C. Yap
(Eds.): Lecture Notes in Computer Science, 8592 (2014).
Proceedings of the IV International Conference on Mathematical
Software (IV ICMS, Seoul), pp. 492-499. Springer,
Heidelberg (2014).
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Botana, F.
\item{}{\ninerm TITULO :} Using Maple's RegularChains
library to automatically classify plane geometric loci.
\item{}{\ninerm REF. REVISTA/LIBRO:} H. Hong and C. Yap
(Eds.): Lecture Notes in Computer Science, 8592 (2014).
Proceedings of the IV International Conference on Mathematical
Software (IV ICMS, Seoul), pp. 500--503. Springer,
Heidelberg (2014).
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino, C.
\item{}{\ninerm TITULO :} Ultraquadrics associated to
affine and projective automorphisms
\item{}{\ninerm REF. REVISTA/LIBRO:} Applicable Algebra in
Engineering, Communication and Computing: Volume 25, Issue 6
(2014), Page 431-445
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Botana, F.; Hohenwarter, M.;
Janicic, J.; Kovacs, Z.; Petrovic, I.; Weitzhofer, S.
\item{}{\ninerm TITULO :} Automated Theorem Proving
in GeoGebra: Current Achievements
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Automated
Reasoning, June 2015, Volume 55, Issue 1, pp 39-59
DOI: http://dx.doi.org/10.1007/s10817-015-9326-4
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Sebastian Bauer, José
M. Diego, Claudia Lazaro, Sue Pope, Ornella Robutti, Jaime
Carvalho e Silva, Ana M. Vieira
\item{}{\ninerm TITULO :} Cooperation
and innovation for good practices: teachers and
researchers understanding mathematics in PISA (trump),
item{}{\ninerm REF. REVISTA/LIBRO:} Poster at the CERME9
Conference, Prague, Czech Republic, Feb. 4-8,
2015. In: CERME9 Proceedings of the Ninth Congress of
the European Society for Research in Mathematics Education.
Editors: Konrad Krainer, Nada Vondrova. Edited by Charles
University in Prague, Faculty of Education and ERME.
Prague, Czech Republic ISBN: 978-80-7290-844-8. pp.
1774-1776
https://www.dropbox.com/sh/pl0x4bhmkstcvd0/AAARtVy7NMLCTtV8N9LhR-ICa/TWG11
Poster Bauer et al.pdf?dl=0
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Philippe R.
Richard; Laurent Vivier
\item{}{\ninerm TITULO :} Especificidad
de las herramientas y signos en el trabajo
matem\'atico. Specific tools and signs in the
mathematical work. Sp\'ecifit\'e des outils et des
signes dans le travail math\'ematique
item{}{\ninerm REF. REVISTA/LIBRO:} Actas Cuarto Simposio
Internacional ETM. Proceedings Fourth ETM Symposium. Actes
Quatri\'eme Symposium ETM. I. G\'omez Chac\'on et.
al., Eds. Instituto de Matem\'atica
Interdisciplinar. Universidad Complutense de Madrid.
2015. ISBN: 978-84-606-9475-5
\hfill {\ninerm CLAVE :}E
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Sendra, J. R. ; Tabera, L.F.; Villarino,
C.
\item{}{\ninerm TITULO :} On Tubular vs. Swung
surfaces
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of
Symbolic Computation, 72, (2016), pp 55-64,
doi:10.1016/j.jsc.2014.12.003
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio
Mu\~niz, Tom\'as J.; Botana, F.
\item{}{\ninerm TITULO :} Some issues on the
automatic computation of plane envelopes in
interactive environments
\item{}{\ninerm REF. REVISTA/LIBRO:} Mathematics and
Computers in Simulation (2016), pp. 115-125
DOI information: 10.1016/j.matcom.2014.05.011.
\hfill {\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz,
Tom\'as J.; Botana, F.
\item{}{\ninerm TITULO :} On the unavoidable uncertainty of
truth in dynamic geometry proving
\item{}{\ninerm REF. REVISTA/LIBRO:}
Mathematics in Computer Science, 10(1),
5-25, 2016.
http://link.springer.com/article/10.1007/s11786-016-0246-4
\hfill
{\ninerm CLAVE :}A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio
Mu\~niz, Tom\'as J.; Mallavibarrena, R.
\item{}{\ninerm TITULO :} Historia de ICMI.es.
Contribuci\'on de Luis Rico.
\item{}{\ninerm REF. REVISTA/LIBRO:} La Gaceta de
la RSME, 19.2, 2016 \hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{} {\ninerm AUTORES :} Recio Mu\~niz, Tom\'as
J.; Miguel A. Ab\'anades, Francisco Botana, Zolt\'an Kovács
and Csilla S\'olyom-Gecse.
\item{} {\ninerm TITULO : } Automated discovery of elementary
geometry theorems: First steps.
\item{}{\ninerm REF. REVISTA/LIBRO:} Proceedings ICMS,
Berlin 2016. Volume 9725 of Springer Lecture Notes in
Computer Science (LNCS), pp.37-42.
\hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{} {\ninerm AUTORES :} Recio Mu\~niz, Tom\'as J.;
Miguel A. Ab\'anades, Francisco Botana, Zolt\'an Kovács and Csilla
S\'olyom-Gecse.
\item{} {\ninerm TITULO : } ``Development of automatic
reasoning tools in GeoGebra".
\item{}{\ninerm REF. REVISTA/LIBRO:} Software Demo
Award at ISSAC 2016. } ACM Communications in Computer
Algebra. Volume 50 Issue 3, September 2016. Pages: 85-88
\hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{} {\ninerm AUTORES :} Recio Mu\~niz, Tom\'as J.;
Markus Hohenwarter and Zolt\'an Kov\'acs.
\item{} {\ninerm TITULO : } ``Deciding geometric properties
symbolically in GeoGebra".
\item{}{\ninerm REF. REVISTA/LIBRO:}
$R\&E$-SOURCE ({http://journal.ph-noe.ac.at})
Open Online Journal for Research and Education
Special Issue no.6, March 2017, ISSN: 2313-1640
\hfill {\ninerm CLAVE :}A
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as
J.; Botana, F.
\item{}{\ninerm TITULO :} Computing envelopes in dynamic
geometry environments
\item{}{\ninerm REF. REVISTA/LIBRO:} AMAI (Annals of
Mathematics and Artificial Intelligence), May 2017, Volume 80,
Issue 1, pp 3–20.
http://link.springer.com/article/10.1007/s10472-016-9500-3
\hfill {\ninerm CLAVE :}A
\item{}{\ninerm AUTORES:} Zolt\'an Kov\'acs,
Tom\'as Recio, Philippe R. Richard, M. Pilar V\'elez
\item{}{\ninerm TITULO :} GEOGEBRA AUTOMATED REASONING
TOOLS: A TUTORIAL WITH EXAMPLES (ABSTRACT)
\item{}{\ninerm REF. REVISTA/LIBRO:} PROCEEDINGS
International Conference on Technology in Mathematics Teaching
ICTMT 13 Lyon 2017. G. Aldon, J. Trgalov\'a, editors. pp.
400-404. Available at
https://ictmt13.sciencesconf.org/data/pages/proceedings(underscore)compressed(underscore)1.pdf
https://hal.archives-ouvertes.fr/hal-01632970
\hfill {\ninerm CLAVE :}A
\item{}{\ninerm AUTORES:} Tom\'as Recio
\item{}{\ninerm TITULO :} Automated Reasoning Tools in
GeoGebra
\item{}{\ninerm REF. REVISTA/LIBRO:} FoCM: Workshop on
Computational Algebraic Geometry, pag. 40-42. Oct. 2017,
(electronic version available at
{http://www.ub.edu/focm2017/content/FoCM2017-Book.pdf} )
\hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Jean-Baptiste
Lagrange, Universit\'e Paris Diderot, France, Tom\'as Recio,
Universidad de Cantabria, Espa\~na, Philippe R. Richard,
Universit\'e de Montr\'eal, Canada, Laurent Vivier, Universit\'e
Paris Diderot, France.
\item{}{\ninerm TITULO :} Especificidad de las herramientas
y signos en el trabajo matem\'atico. Specificities of tools and
signs in the mathematical work. Sp\'ecifit\'e des outils et des
signes dans le travail math\'ematique
item{}{\ninerm REF. REVISTA/LIBRO:} Actas Quinto Simposio
Internacional ETM. Proceedings Fifth ETM Symposium. Actes
Cinqui\'eme Symposium ETM. University of Western Macedonia,
Florina, Greece. 2017. Inés María Gómez-Chacón, Alain
Kuzniak, Kostas Nikolantonakis, Philippe R.
Richard, Laurent Vivier, Editors. pp 207-241. Facultad
Educacion de la U. Macedonia Oeste, Florina. Grecia. Sept.
2017. ISBN 978-618-81047-5-4.
{http://etm5.web.uowm.gr/wp-content/uploads/2017/10/ETM5-FIN.pdf}
\hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{} {\ninerm AUTORES :} Recio Mu\~niz, Tom\'as
J.; Pardo Vasallo, Luis Miguel.
\item{} {\ninerm TITULO : } ``El devenir de los ideales".
\item{}{\ninerm REF. REVISTA/LIBRO:} En: ``Ejemplos
Nebrija: M. Jos\'e Garbayo Moreno'', M. Pilar V\'elez, (coord).
Fundaci\'on Antonio de Nebrija. (2018). Servicio de
Publicaciones. ISBN: 978-84-88957-75-7
\hfill {\ninerm CLAVE :}A
\hrule
\bigskip
\item{} {\ninerm AUTORES :}
Z. Kov\'acs, T. Recio, P. V\'elez:
\item{} {\ninerm TITULO : }
"Detecting truth, just on parts, in automated reasoning in
geometry"
\item{}{\ninerm REF. REVISTA/LIBRO:} 24th
Conference on Applications of Computer Algebra - ACA 2018:
Proceedings, Applications of Computer Algebra, Santiago de
Compostela, Spain, June 18-22, 2018 Editors: Francisco Botana,
Felipe Gago and Manuel Ladra González. ISBN-13 (15)
978-84-16954-87-2. Servicio de Publicaciones. Universidad de
Santiago de Compostela. Spain. Pages: 32-36.
Electronico Code: JP (27).
http://dx.doi.org/10.15304/9788416954872
http://www.usc.es/libros/index.php/spic/catalog/book/1151
\hfill {\ninerm CLAVE :} A
\hrule
\bigskip
\item{} {\ninerm AUTORES :} Z. Kov\'acs, T.
Recio, P. V\'elez:
\item{} {\ninerm TITULO : }"ENUNCIADOS
NI CIERTOS NI FALSOS EN RAZONAMIENTO AUTOMÁTICO EN
GEOMETRÍA".
\item{}{\ninerm REF.
REVISTA/LIBRO:} Monografías de la Real Academia de
Ciencias. Zaragoza. 43: 99–102, (2018). ISSN: 1132-6360.
https://eventos.unizar.es/_files/_event/_15634/_editorFiles/file/Speakers/Velez.pdf
\hfill {\ninerm CLAVE :} A
\hrule
\bigskip
item{} {\ninerm AUTORES :} Recio Mu\~niz, Tom\'as
J.; Zolt\'an Kov\'acs and Csilla S\'olyom-Gecse.
\item{} {\ninerm TITULO : } ``Rewriting input expressions
in complex algebraic geometry provers".
\item{}{\ninerm REF. REVISTA/LIBRO:} Annals of
Mathematics and Artificial Intelligence (June 2018
DOI: 10.1007/s10472-018-9590-1) Available at
https://rdcu.be/SEoU
\hfill {\ninerm CLAVE :} A
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Zolt\'an Kov\'acs,
Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Using Automated Reasoning Tools in
GeoGebra in the Teaching and Learning of Proving in Geometry
\item{}{\ninerm REF. REVISTA/LIBRO:} International Journal of
Technology in Mathematic Education. Vol. 25, no. 2. pp.
33-50. 2018.
http://www.researchinformation.co.uk/time/contents/timecont.php
\hfill {\ninerm CLAVE :} A
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Recio Mu\~niz, Tom\'as J.;
Sendra, R.; Villarino, C.
\item{}{\ninerm TITULO :} The importance of being zero
\item{}{\ninerm REF. REVISTA/LIBRO:} ACM. Proceedings ISSAC
2018. ISBN 978-1-4503-5550-6/18/07. pp. 327-333
https://doi.org/10.1145/3208976.3208981
\hfill {\ninerm CLAVE :} A
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Botana F., Kovács Z., Recio
T. (2018): Towards an Automated Geometer.
In: Fleuriot J., Wang D., Calmet J. (eds) Artificial
Intelligence and Symbolic Computation. AISC 2018.
Lecture Notes in Computer Science, vol 11110. Springer, Cham. pp
215-220.
https://doi.org/10.1007/978-3-319-99957-9_15
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Zolt\'an Kov\'acs,
Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Detecting truth, just on parts.
\item{}{\ninerm REF. REVISTA/LIBRO:}Revista Matem\'atica
Complutense (to appear). Available here
DOI: 10.1007/s13163-018-0286-1
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Beatrix Hauer,
Zolt\'an Kov\'acs, Tom\'as Recio, M. Pilar V\'elez
\item{}{\ninerm TITULO :} Automated reasoning in elementary
geometry: towards inquiry learning.
\item{}{\ninerm REF. REVISTA/LIBRO:}Paedagogische Horizonte.
2(2),pp. 27-39, 2018. ISSN 2523-5656 (Online), ISSN 2523-2916
(Print).
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Francisco Botana, Tom\'as
Recio
\item{}{\ninerm TITULO :} A proposal for the automatic
computation of envelopes of families of plane curves
\item{}{\ninerm REF. REVISTA/LIBRO:} Journal of Systems
Science and Complexity 32(1):150-157. February 2019. DOI:
10.1007/s11424-019-8341-7
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Francisco Botana, Zolt\'an Kov\'acs,
Tom\'as Recio
\item{}{\ninerm TITULO :} Foreword. Special issue on dynamic
geometry and automated reasoning
\item{}{\ninerm REF. REVISTA/LIBRO:} J. Symb. Comput. (2019),
to appear: https://doi.org/10.1016/j.jsc.2018.12.001
\hfill {\ninerm CLAVE :} A
\bigskip
\hrule
\bigskip
\item{}{\ninerm AUTORES:} Zolt\'an Kov\'acs, Tom\'as Recio, M.
Pilar V\'elez:
\item{}{\ninerm TITULO :} Reasoning about linkages with
dynamic geometry.
\item{}{\ninerm REF. REVISTA/LIBRO:} J. Symb. Comput.
(2019), to appear:
https://doi.org/10.1016/j.jsc.2018.12.003
\hfill {\ninerm CLAVE :} A
Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003
Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003
Kovács, Z., et al. Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
(2019),
https://doi.org/10.1016/j.jsc.2018.12.003