Buscar

TOMAS JESUS RECIO MUÑIZ

  • 46

  • 7

  • 6

 tomas.recio@unican.es

 Facultad de Ciencias. Avda. de los Castros, 48. 39005 Santander

Catedrático de Universidad

 ALGEBRA Y GEOMETRIA COMPUTACIONAL (CAG COMPUTATION ALGEBRA AND GEOMETRY)

 DEPARTAMENTO DE MATEMÁTICAS, ESTADÍSTICA Y COMPUTACIÓN

 Publicaciones  Proyectos  Tesis dirigidas  Otras actividades
Año de publicación

    1 de 2  Siguiente   Última
Special issue on dynamic geometry and automated reasoning

Artículo de Revista

Journal of Symbolic Computation Volume 97, March-April 2020, Pages 1-2

 Autoría: FRANCISCO RAMON BOTANA FERREIRO, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 01/04/2020

MathCityMap, paseos matemáticos a través de dispositivos móviles

Artículo de Revista

Uno, Revista de Didáctica de las Matemáticas. No. 87, enero 2020, pp. 47-54

 Autoría: SIMONE JABLONSKI, MARIA CLAUDIA LAZARO DEL POZO, MATTHIAS LUDWIG, TOMAS JESUS RECIO MUÑIZ

 01/01/2020

Hacia un autómata geómetra

Artículo de Revista

La Gaceta de la RSME, Vol. 23 (2020), Núm. 2, Págs. 343?371

 Autoría: FRANCISCO RAMON BOTANA FERREIRO, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, PILAR VELEZ MELON

 2020

Automatically augmented reality for outdoor

Comunicación a Congreso

Automatically augmented reality for outdoor

 Autoría: FRANCISCO BOTANA, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 2020

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

Capítulo de libro

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

 Autoría: MARKUS HOHENWARTER, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 2019

Automatically Augmented Reality with GeoGebra

Capítulo de libro

Automatically Augmented Reality with GeoGebra

 Autoría: FRANCISCO BOTANA, ZOLTÁN KOVÁCS, ÁLVARO MARTÍNEZ-SEVILLA, TOMAS JESUS RECIO MUÑIZ

 2019

Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven

Comunicación a Congreso

Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven

 Autoría: STEVEN JOHAN MARIA VAN VAERENBERGH, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2019

MathCityMap: paseos matemáticos a través de dispositivos móviles

Comunicación a Congreso

MathCityMap: paseos matemáticos a través de dispositivos móviles

 Autoría: ENCARNACIÓN AMARO PARRADO, JOSE CARLOS BLANCO REAL, MARIA CLAUDIA LAZARO DEL POZO, TOMAS JESUS RECIO MUÑIZ

 2019

Determinando propiedades geométricas simbólicamente con GeoGebra

Artículo de Revista

Números Volumen 100, mayo de 2019, páginas 79-84

 Autoría: MARKUS HOHENWATER, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 01/05/2019

El proyecto MoMaTrE: paseos matemáticos con móvil por Europa

Artículo de Revista

Boletín informativo de la S.M.P.C., Curso 2018-2019, n.19

 Autoría: JOSE CARLOS BLANCO REAL, MARIA CLAUDIA LAZARO DEL POZO, TOMAS JESUS RECIO MUÑIZ

 2019

Intelligent Geometry Tools

Comunicación a Congreso

EPTCS 311

 Autoría: JAMES DAVENPORT, JACQUES FLEURIOT, PEDRO QUARESMA, TOMAS JESUS RECIO MUÑIZ, DONGMING WANG

 2019

Rewriting input expressions in complex algebraic geometry provers

Artículo de Revista

Annals of Mathematics Artificial Intelligence (2019) 85:73?87

 Autoría: Z. KOVÁCS, TOMAS JESUS RECIO MUÑIZ, C. SÓLYOM-GECSE

 2019

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves

Artículo de Revista

J. Syst. Sci. Complex., V. 32, Is. 1, pp 150-157 (2019)

 Autoría: FRANCISCO BOTANA, TOMAS JESUS RECIO MUÑIZ

 01/02/2019

Detecting truth, just on parts

Artículo de Revista

Revista Matematica Complutense, Volume 32, Issue 2, pp 451-474 (2019)

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 01/05/2019

Reasoning about linkages with dynamic geometry

Artículo de Revista

Journal of Symbolic Computation

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2019

Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

Artículo de Revista

International Journal of Technology in Mathematics Education Vol 25, No 2

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2018

Automated reasoning in elementary geometry: towards inquiry learning

Artículo de Revista

Pädagogische Horizonte, 2(2), 2018

 Autoría: BEATRIX HAUER, ZOLTÁN KÓVACS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2018

Enunciados ni ciertos ni falsos en razonamiento automático en geometría

Artículo de Revista

Monografías de la Real Academia de Ciencias. Zaragoza. 43: 111?114, (2018).

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2018

The Importance of Being Zero

Comunicación a Congreso

The Importance of Being Zero

 Autoría: TOMAS JESUS RECIO MUÑIZ, RAFAEL J. SENDRA, CARLOS VILLARINO

 2018

El devenir de los ideales

Capítulo de libro

El devenir de los ideales

 Autoría: TOMAS JESUS RECIO MUÑIZ, LUIS MIGUEL PARDO VASALLO

 2018

Detecting truth, just on parts, in automated reasoning in geometry

Comunicación a Congreso

Detecting truth, just on parts, in automated reasoning in geometry

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2018

Towards an Automated Geometer

Capítulo de libro

Towards an Automated Geometer

 Autoría: FRANCISCO RAMON BOTANA FERREIRO, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 2018

Diseño de experiencias de aula usando razonamiento automático con GeoGebra

Comunicación a Congreso

Diseño de experiencias de aula usando razonamiento automático con GeoGebra

 Autoría: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, M. PILAR VÉLEZ

 2017

Specificities of tools and signs in the mathematical work : synthesis

Comunicación a Congreso

Specificities of tools and signs in the mathematical work : synthesis

 Autoría: JEAN-BAPTISTE LAGRANGE, TOMAS JESUS RECIO MUÑIZ, PHILIPPE R. RICHARD, LAURENT VIVIER

 2017

    1 de 2  Siguiente   Última

Estamos realizando la búsqueda. Por favor, espere...