La página de Tomás Recio
Actualizada
junio/June 2025
Casi todo
lo que necesita saber para localizarme... / Almost all you
need to know to find me...
Cursos actuales / Current Courses
Lista de
publicaciones / List of publications
Actividades
pasadas y actuales / Past and current activities (C.V.)
Información
muy
personal/ Very personal information
For some pictures, click x
Casi
todo lo que necesita saber para localizarme...
Dirección postal:
Departamento de Matemáticas y Física,
Escuela
Politécnica Superior,
Universidad
Nebrija,
C/
Santa Cruz de Marcenado 27, 28015, Madrid, España/Spain.
Teléfono:
(+34) 91 452 1100
Direcciones
de correo electrónico:
Académicas:
trecio@nebrija.es
tomas.recio@unican.es
, reciot@unican.es
Personales: tomasjrecio@gmail.com,
tomas.recio@telefonica.net
URL:
http://www.recio.tk
Actividades
pasadas
y
actuales
/
Past
and current activities ( C.V. )
Actividades
pasadas
Si necesitas mi (If you need my) Curriculum Vitae
...Short
C.V.
Actividades
actuales
Gestión académica y profesional /
Academic and professional management tasks
Profesor Magistral (Honorary Magistral
Professor of the) del Departamento de Matemáticas y
Física, de la Escuela Politécnica Superior, Universidad
Nebrija, Madrid.
Jubilado del (I am a retired professor of the) Departamento de Matemáticas, Estadística y Computación de la Universidad de Cantabria (of the University of Cantabria).
Trabajo actualmente en el desarrollo de herramientas
de razonamiento automático con GeoGebra (Currenly working
on the development of automatic
reasoning tools with GeoGebra).
He
dirigido, durante mas de 20 años, una sección de
Matemática Computacional en la revista de la (I have been,
for over 20 years, the editor of a section on Computational
Mathematics for a journal of the)
Real Sociedad Matemática Española ( RSME ), La Gaceta.
Soy
miembro del consejo editorial del (I am a member of the
Editorial Board of the) Journal of Symbolic Computation, de
Computers,
del consejo asesor de la (
Estoy actualmente implicado en la organización de las siguientes actividades (I am currently involved in the organization of the following activities):
15th Automated Deduction in Geometry, August 1-2, 2025, Stuttgart, Germany
II Congreso
Internacional GeoGebra 23-25 Octubre, Coimbra, Portugal
Actividades investigadoras / Research Interests
Me
interesa la Geometría Algebraica Real, el Algebra
Computacional y la Geometría Computacional, la Didáctica de
las Matemáticas. Gente en este departamento con similares
intereses formamos un grupo de investigación, dirigido por la
Dra. M. P. Vélez, el grupo de investigación Nebrija: Matemáticas
y sus aplicaciones
I
am interested in Real Algebraic Geometry, Computational
Algebra and Geometry and Mathematics Education. Together
with other people in our department with similar interests
we form a research team lead by Dr. M. P. Vélez, the
Nebrija group Matemáticas y sus aplicaciones.
Actualmente desarrollo el proyecto de investigación/Currently I develop the research project: “Inteligencia aumentada en educación matemática mediante modelización, razonamiento automático e inteligencia artificial"/"Augmented Intelligence in Mathematics Education through modeling, automated reasoning and artificial intelligence” (IAxEM-CM/PHS-2024/PH-HUM-383), financiado por la/supported by the Comunidad de Madrid.
I
was a member of a research team in Algorithmic Algebraic
Geometry, jointly with Sonia Pérez Díaz (Universidad
de Alcalá de Henares) y Laureano González Vega
(CUNEF): "Mathematical
Visualization: Foundations, Algorithms and Applications"
(PID2020-113192GB-I00),
from the Spanish MICINN .
My
contribution
to this research project has to do with automated theorem
proving in geometry.
I
am involved in a Spanish network on Computer Algebra and
Applications (EACA), and
I have recently worked in another European projects such
as "MoMaTrE", "Learn+", "MASCE^3", "Edularp",
"STEAM-Tech" ,
"ASYMPTOTE"
, "KIKS"
and "STEM4Youth",
and, long ago, in another one on dynamic
geometry (INTERGEO)
and in a European project focusing on the problem solving
approach to mathematics education (FIBONACCI). I
am associated
to the European project H2020-Satisfiability Checking and
Symbolic Computation (SC^2).
En
Algebra y Geometría Computacionales he participado en algunos
proyectos dirigidos a las aplicaciones industriales,
coordinados por Laureano González Vega
(Universidad de Cantabria). Una página interesante sobre
Algebra Computacional es esta.
Y
otra sobre Geometría Computacional podría ser esta.
I
have been involved in some Computational Algebra and
Geometry industrial research projects, coordinated by
Laureano González Vega (Universidad de
Cantabria).
An
interesting
page on Computational Algebra is esta.
Another
interesting
page
on Computational Geometry is esta.
Me
interesa tambien el algebra y la geometría de los mecanos y
sus aplicaciones a la robótica. Una dirección con muchos
mecanos, es esta . Tambien
me interesa la demostración automática de teoremas
geométricos; una página con muchas referencias (hasta 2003) es
la del prof. Wang
.
I
am also interested in linkages' algebra and geometry and its
applications to robotics. An URL with lots of linkages
is esta.
For
automatic
theorem proving of geometry theorems, an URL with many
references (up to 2003) is the one mantained by prof.
Wang .
Algunas
ideas
personales sobre didáctica de las matemáticas, cálculo
simbólico y geometría computacional aparecen en mi libro
"Cálculo Simbólico y Geométrico
(Razonamiento matemático)" Editorial Sintesis, Madrid, 1998.
Disponible como e-book.
Some
personal
ideas on mathematics education, symbolic and geometry
computation are described in my book:
"Cálculo Simbólico y Geométrico
(Razonamiento matemático)" Editorial Sintesis, Madrid, 1998.
Available as e-book. See as well the IBERTIC
interview video.
He sido usario del programa gratuito de Álgebra Conmutativa Simbólica (I have been a user of the free Computational Commutative Algebra software) CoCoA .