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 BOTANA, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 01/04/2020

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: JOSÉ CARLOS BLANCO REAL, CLAUDIA LÁZARO 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 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

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

On the Interference Problem for Ellipsoids: Experiments and Applications

Comunicación a Congreso

On the Interference Problem for Ellipsoids: Experiments and Applications

 Autoría: JORGE CARAVANTES, LAUREANO GONZALEZ VEGA

 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

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

Offsets to conics and quadrics: a new determinantal representation for their implicit equation

Artículo de Revista

ACM Communications in Computer Algebra, Vol. 52, No. 3, Issue 205, September 2018

 Autoría: JORGE CARAVANTES, MARIO ALFREDO FIORAVANTI VILLANUEVA, LAUREANO GONZALEZ VEGA, GEMA DÍAZ-TOCA

 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

Computing envelopes in dynamic geometry environments

Artículo de Revista

Annals of Mathematics and Artificial Intelligence May 2017, Volume 80, Issue 1, pp 3?20

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

 01/05/2017

Deciding geometric properties symbolically in GeoGebra

Artículo de Revista

R&E source: Open Online Journal for Research and Education, Special Issue #6, March 2017

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

 08/03/2017

An algebraic framework for computing the topology of offsets to rational curves

Comunicación a Congreso

Computer Aided Geometric Design, Volumes 52-53, March-April 2017, Pages 28-47

 Autoría: JORGE CARAVANTES, GEMA MARÍA DÍAZ-TOCA, MARIO ALFREDO FIORAVANTI VILLANUEVA, LAUREANO GONZALEZ VEGA, IOANA GABRIELA NECULA

 2017

Solving positioning problems with minimal data

Artículo de Revista

GPS Solutions, January 2017, Volume 21, Issue 1, pp 149-161

 Autoría: JORGE CARAVANTES, LAUREANO GONZALEZ VEGA, ALEJANDRO PIÑERA

 2017

NUEVOS DESARROLLOS DE APLIEVAL PARA LAS AGENCIAS AQU CATALUNYA,ACSUG,UNIBASQ,MADRI+D, ACSUCYL,MESCYT Y AQUIB Y DEFINICIÓN DE LAS CARACTERÍSTICAS DE APLISGC (APLICACIÓN PARA LA GESIÓN DE LOS SISTEMAS DE GARANTÍA DE CALIDAD DE INSTITUCIONES DE EDUCACIÓN SU

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2019

INCLUSIÓN DE LA ACREDITACIÓN INSTITUCIONAL EN LAS INSTANCIAS DE APLIEVAL (APLICACIÓN PARA LA EVALUACIÓN DE INSTITUCIONES DE EDUCACIÓN SUPERIOR Y TITULACIONES UNIVERSITARIAS) PARA LAS AGENCIAS AQU CATALUNYA, ACSUG, UNIBASQ, MADRID+D Y ACSUCYL

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2018

COMPUTACIÓN SIMBÓLICA: NUEVOS RETOS EN ÁLGEBRA Y GEOMETRÍA Y SUS APLICACIONES (MTM2017-88796-P) (AEI/FEDER,UE)

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

Responsable: LUIS FELIPE TABERA ALONSO

Tipología: Proyectos competitivos nacionales publicos

Año de inicio: 2018

DESARROLLO E IMPLANTACIÓN DE UNA INSTANCIA DE LA APLICACIÓN APLIEVAL (APLICACIÓN PARA LA EVALUACIÓN DE INSTITUCIONES DE EDUCACIÓN SUPERIOR Y TITULACIONES UNIVERSITARIAS) PARA MINISTERIO EDUCACIÓN SUPERIOR, CIENCIA Y TECNOLOGÍA DE LA REPÚBLICA DOMINICANA

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2017

DESARROLLO E IMPLANTACIÓN DE UNA INSTANCIA DE LA APLICACIÓN APLIEVAL (APLICACIÓN PARA LA EVALUACIÓN DE INSTITUCIONES DE EDUCACIÓN SUPERIOR Y TITULACIONES UNIVERSITARIAS) PARA LA AXENCIA PARA A CALIDADE DO SISTEMA UNIVERSITARIO DE GALICIA

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2016

MONITORIZACIÓN DEL SISTEMA INTERNO DE GARANTÍA DE CALIDAD DEL INSTITUTO NACIONAL DE ADMINISTRACIÓN PÚBLICA PARA CONVERTIRLE EN LA HERRAMIENTA CON LA QUE ABORDAR EL ANÁLISIS DE SU OFERTA FORMATIVA DE POSGRADO

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2016

MONITORIZACION E INFORMATIZACION DE LOS SISTEMAS INTERNOS DE GARANTIA DE CALIDAD DE UIMP, INAP Y CUNEF

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2015

CONSTRUCCIONES ALGEBRO-GEOMÉTRICAS: FUNDAMENTOS, ALGORITMOS Y APLICACIONES (MTM2014-54141-P) (MINECO/FEDER,UE)

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Proyectos competitivos nacionales publicos

Año de inicio: 2015

IMPLANTACION Y ADAPTACION DE APLIEVAL (APLICACION PARA LA EVALUACION DE INSTITUCIONES DE EDUCACION SUPERIOR Y TITULACIONES UNIVERSITARIAS) PARA UNIBASQ Y MADRID+D

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2014

DESARROLLO DE HERRAMIENTAS PARA EL DIAGNOSTICO DE SITUACION DE SISTEMAS INTERNOS DE GARANTIA DE CALIDAD EN INSTITUCIONES DE EDUCACION SUPERIOR: LOS CASOS DE LA UIMP Y DE CUNEF

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2014

IMPLANTACION Y ADAPTACION DE APLIEVAL (APLICACION PARA LA EVALUACION DE INSTITUCIONES DE EDUCACION SUPERIOR Y TITULACIONES UNIVERSITARIAS)

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2013

APOYO TECNICO AL AREA DE CONSULTORIA ACADEMICA DE SUOMITECH EN SU ASESORAMIENTO AL INAP PARA EL DESARROLLO DE LAS HERRAMIENTAS TIC PARA LA ELABORACION DE MEMORIAS DE VERIFICACION DE MASTERES UNIVERSITARIOS EN EL AMBITO DEL URBANISMO Y LOS ESTUDIOS TERRIT

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2013

APOYO TECNICO AL AREA DE CONSULTORIA ACADEMICA DE SUOMITECH EN SU ASESORAMIENTO A LA UFV PARA EL DESARROLLO DE LAS HERRAMIENTAS TIC PARA LA ELABORACION DE MEMORIAS DE VERIFICACION DE GRADOS EN EL AMBITO DE LAS CIENCIAS DE LA SALUD

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2013

DISEÑO DE LOS MÁSTERES OFICIALES EN LA OFERTA FORMATIVA DEL INSTITUTO NACIONAL DE ADMINISTRACIONES PUBLICAS Y SEGUIMIENTO DE SU EVALUACIÓN PREVIA A SU VERIFICACIÓN

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Convenios y contratos art.83, Catedras Universitarias y Competitivos UC

Año de inicio: 2012

ALGORITMOS Y APLICACIONES EN GEOMETRÍA REAL Y TROPICAL (MTM2011-25816-C02-02)

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

Responsable: TOMAS JESUS RECIO MUÑIZ

Tipología: Proyectos competitivos nacionales publicos

Año de inicio: 2012

La Rendición de Cuentas en el Espacio Europeo de Educación Superior: un Marco para su Análisis en el Caso Español

 Autoría: MIGUEL ÁNGEL ACOSTA RODRÍGUEZ

 Dirección: LAUREANO GONZALEZ VEGA , JORGE MARÍN RODRIGUEZ DIAZ

 Fecha de defensa: 04/02/2016

Curvas y Superficies Bisectrices y Diagrama de Voronoi de una Familia Finita de Semirrectas Paralelas en R3

 Autoría: IBRAHIM ADAMOU

 Dirección: MARIO ALFREDO FIORAVANTI VILLANUEVA , LAUREANO GONZALEZ VEGA 

 Fecha de defensa: 10/09/2013

Programación Genética, Algoritmos Evolutivos y Aprendizaje Inductivo: Hacia una Solución al Problema XVII de Smale en el Caso Real.

 Autoría: CRUZ ENRIQUE BORGES HERNANDEZ

 Dirección: JOSE LUIS MONTAÑA ARNAIZ , LUIS MIGUEL PARDO VASALLO

 Fecha de defensa: 25/03/2011

Nuevas Técnicas Algebraicas y Numéricas para la Resolución de Problemas Geométricos en Diseño Geométrico Asistido Por Ordenador.

 Autoría: FERNANDO CARRERAS OLIVER

 Dirección: LAUREANO GONZALEZ VEGA , JAIME PUIG-PEY ECHEBESTE

 Fecha de defensa: 27/09/2007

Dos Herramientas en Geometría Algebraica: Construcción de Configuraciones en Geometría Tropical e Hipercírculos para la Simplificación de Curvas Paramétricas.

 Autoría: LUIS FELIPE TABERA ALONSO

 Dirección: TOMAS JESUS RECIO MUÑIZ 

 Fecha de defensa: 16/07/2007

Sobre el Problema 17 de Smale: Teoría de la Intersección y Geometría Integral.

 Autoría: CARLOS BELTRAN ALVAREZ

 Dirección: LUIS MIGUEL PARDO VASALLO

 Fecha de defensa: 08/09/2006

Manipulación de Curvas y Superficies en CAGD Mediante Técnicas Simbólico-Numéricas.

 Autoría: IOANA GABRIELA NECULA

 Dirección: LAUREANO GONZALEZ VEGA 

 Fecha de defensa: 08/06/2005