La página de Tomás Recio
Actualizada
octubre/October 2019
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, Estadística y Computación.
Facultad
de Ciencias
Universidad
de Cantabria
Avenida de los
Castros, s/n,
39071
Santander, España
Teléfono: (34) 942 20 14 33, Fax:
(34) 942 20 14 02
Direcciones
de correo electrónico:
URL:
http://www.recio.tk
Horario
de
tutorías: martes y miércoles: 11:45h. a 14:15h.; Jueves:
de 12:45h. a 13:45h., previa cita .
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
Soy miembro del (I am a member of the) Departamento de Matemáticas,
Estadística y Computación .
Llevo
una sección de Matemática Computacional en la revista de la (I
am 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 y
del (and of the) Tbilisi Mathematical
Journal
Estoy actualmente informalmente implicado en la
organización de las siguientes actividades (I am currently informally
involved in the organization of the following activities)
• Seminario: Destreza, didáctica y descubrimiento con GeoGebra, Nov. 22-24, 2019, CIEM, Castro-Urdiales.
• Automated
Deduction in Geometry ADG 2020, RISC (Hagenberg, Austria).
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, el grupo CAG (Computational Algebra and
Geometry, Cantabria-Algebra y Geometría).
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, the group CAG
(Computational Algebra and Geometry, Cantabria-Algebra y
Geometría).
En
Geometría Algebraica Algorítmica participo en un
proyecto de investigación junto con Rafael Sendra (Universidad de
Alcalá de Henares) y Laureano González Vega
(Universidad de Cantabria): COMPUTACIÓN SIMBÓLICA: NUEVOS
RETOS EN ÁLGEBRA Y GEOMETRÍA Y SUS APLICACIONES
(MTM2017-88796-P) (AEI/FEDER,UE) (2018).
Mi contribución tiene que ver con la demostración
automática de teoremas geométricos.
I
am a member of a research team in Algorithmic Algebraic
Geometry, jointly with Rafael Sendra (Universidad
de Alcalá de Henares) and Laureano González Vega
(Universidad de Cantabria): COMPUTACIÓN SIMBÓLICA: NUEVOS
RETOS EN ÁLGEBRA Y GEOMETRÍA Y SUS APLICACIONES
(MTM2017-88796-P) (AEI/FEDER,UE) (2018).
My
contribution
to this research project has to do with automated theorem
proving in geometry.
Participo
en una red española sobre Algebra Computacional y
Aplicaciones (EACA),
en los proyectos europeos "MoMaTrE"
y "STEM4Youth",
y he participado recientemente en otro
proyecto europeo para fomentar las STEAM, "Kids
Inspiring Kids for STEAM" (KIKS), y, hace mas
tiempo, en otro sobre geometría dinámica (INTERGEO) y en un
proyecto europeo sobre enseñanza de las matemáticas mediante
resolución de problemas (FIBONACCI).
Estoy como asociado
en el proyecto europeo H2020-Satisfiability
Checking and Symbolic Computation (SC^2).
I
am involved in a Spanish network on Computer Algebra and
Applications (EACA),
in the European projects "MoMaTrE" and
"STEM4Youth",
and I have recently worked in another European project to
foster STEAM education "Kids Inspiring Kids for STEAM" (KIKS), 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).
Una
página interesante con fotos sobre gente de la geometría real
es (An interesting page with pictures on real geometry
people is) esta .
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.
Uso con frecuencia el programa de Álgebra Conmutativa Simbólica (I am a frequent user of the Computational Commutative Algebra software) CoCoA y el programa de Geometría Dinámica (and of the Dynamic Geometry program) GeoGebra.