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

 ... then please read some personal reflections and mathematical remembrances,  collected in the interview published at the European Mathematical Society (EMS) Newsletter (March 2012 issue).  Again, some global perspective about my mathematical life has appeared at  ARBOLMAT , the RSME gallery of scientists. Finally, take a look at this book, describing the Spain of the 70's and 80's, from the perspective of a close friend from the U.S., involved in the initial deployment of the Spanish Real Algebraic Geometry RAGSQUAD.

 
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:

Académicas: tomas.recio@unican.es, reciot@unican.es
Personales:  tomasjrecio@gmail.com,  tomas.recio@telefonica.net     

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 y  del consejo asesor de la (and of the Editorial Advisory Board of the)  Revista de Educación, de la revista PNA y del Boletín de la Sociedad Puig Adam de Profesores de Matemáticas.

Organizo, con otros colegas, el Instituto GeoGebra de Cantabria (I am involved, with other colleagues, in the GeoGebra Institute of Cantabria , one of the several Spanish Institutos GeoGebra) uno de los Institutos GeoGebra de España.

He sido miembro de la Comisión que ha desarrollado el (I have been a member of the Design Team for the) Proyecto Klein Project

Estoy actualmente informalmente implicado en la organización de las siguientes actividades (I am currently informally involved in the organization of the following activities)

• Workshop on Automated  Geometry Theorem Proving, Nov. 15-18, 2019, Universidade de Santiago de Compostela.

•  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.  Ver tambien el vídeo de la entrevista hecha en IBERTIC.

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.