Optimal flat functions in Carleman-Roumieu ultraholomorphic classes in sectors

Article

Results in Mathematics, 2023, 78(3), 98

 Authorship: JESUS JAVIER JIMENEZ GARRIDO, IGNACIO MIGUEL CANTERO, JAVIER SANZ, GERHARD SCHINDL

 01/06/2023

On generalized definitions of ultradifferentiable classes

Article

Journal of Mathematical Analysis and Applications, 2023, 526(21), 127260

 Authorship: JESUS JAVIER JIMENEZ GARRIDO, DAVID NICOLAS NENNING, GERHARD SCHINDL

 01/12/2023

Computing the relative position of a parabola and an ellipse without intersecting them

Conference object

EACA 2022. XVII Encuentro de Álgebra Computacional y Aplicaciones

 Authorship: JORGE CARAVANTES TORTAJADA, GEMA DIAZ TOCA, MARIO ALFREDO FIORAVANTI VILLANUEVA, LAUREANO GONZALEZ VEGA

 2023

Equality of ultradifferentiable classes by means of indices of mixed O-regular variation

Article

Results in Mathematics, 2022, 77, 28

 Authorship: JESUS JAVIER JIMENEZ GARRIDO, JAVIER SANZ, GERHARD SCHINDL

 2022

Solving the interference problem for ellipses and ellipsoids: New formulae

Article

Journal of Computational and Applied Mathematics, 2022, 407, 114072

 Authorship: JORGE CARAVANTES TORTAJADA, GEMA DIAZ TOCA, MARIO ALFREDO FIORAVANTI VILLANUEVA, LAUREANO GONZALEZ VEGA

 01/06/2022

Surjectivity of the asymptotic Borel map in Carleman-Roumieu ultraholomorphic classes defined by regular sequences

Article

Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas, 2021, 115 (4), 181

 Authorship: JESUS JAVIER JIMENEZ GARRIDO, FRANCISCO JAVIER SANZ GIL, G. SCHINDL

 01/10/2021

Dealing with degeneracies in automated theorem proving in geometry

Article

Mathematics, 2021, 9(16), 1964

 Authorship: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, LUIS FELIPE TABERA ALONSO, M. PILAR VÉLEZ

 2021

On the implicit equation of conics and quadrics offsets

Article

Mathematics, 2021, 9 (15) 1784

 Authorship: JORGE CARAVANTES TORTAJADA, GEMA M. DIAZ-TOCA, MARIO ALFREDO FIORAVANTI VILLANUEVA, LAUREANO GONZALEZ VEGA

 01/07/2021

Special issue on dynamic geometry and automated reasoning

Article

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

 Authorship: 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

Article

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

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

 01/01/2020

Hacia un autómata geómetra

Article

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

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

 2020

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

Article

UNIÓN - Revista Iberoamericana de Educación Matemática Vol. 16 Núm. 59. Agosto 2020 Páginas 08-15

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

 01/08/2020

Simulation-based education involving online and on-campus models in different European universities

Article

International Journal of Educational Technology in Higher Education, 2020, 17, 8

 Authorship: NEILA EMMA CAMPOS GONZALEZ, MARÍA NOGAL MACHO, CRISTINA CÁLIZ RIVERA, ÁNGEL ALEJANDRO JUAN PÉREZ

 04/03/2020

Los estudios de matemáticas en el ámbito universitario

Book part

Libro Blanco de las Matemáticas

 Authorship: LUIS J. RODRIGUEZ MUÑIZ, RAFAEL CRESPO, IRENE DÍAZ, MARIO ALFREDO FIORAVANTI VILLANUEVA, LLUÍS MIQUEL GARCÍA RAFFI, MARÍA ISABEL GONZÁLEZ VASCO, LAUREANO GONZALEZ VEGA, MATILDE LAFUENTE, JESUS MONTEJO GAMEZ, FRANCISCO A. ORTEGA, RAQUEL MALLAVIBARRENA

 2020

Automatically augmented reality for outdoor mathematics

Conference object

Research on Outdoor STEM Education in the digiTal Age : Proceedings of the ROSETA Online Conference in June 2020

 Authorship: FRANCISCO BOTANA, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 2020

Exploring artwork through Delaunay triangulations

Conference object

MACAS in the Digital Era: Proceedings of the 2019 MACAS Symposium, Montreal, Quebec

 Authorship: ZOLTAN KOVÁCS, BARBARA LICHTENEGGER, TOMAS JESUS RECIO MUÑIZ, PHILIPPE R. RICHARD, M. PILAR VÉLEZ

 2020

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

Article

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

 Authorship: FRANCISCO BOTANA, TOMAS JESUS RECIO MUÑIZ

 01/02/2019

Detecting truth, just on parts

Article

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

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

 01/05/2019

Reasoning about linkages with dynamic geometry

Article

Journal of Symbolic Computation

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

 2019

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

Book part

Proof Technology in Mathematics Research and Teaching

 Authorship: MARKUS HOHENWARTER, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 2019

Automatically Augmented Reality with GeoGebra

Book part

Augmented Reality in Educational

 Authorship: 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

Conference object

Congreso Iberoamericano La educación ante el nuevo reto digital: actas del Congreso

 Authorship: 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

Conference object

Congreso Iberoamericano La educación ante el nuevo reto digital: actas del Congreso

 Authorship: 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

Article

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

 Authorship: MARKUS HOHENWATER, ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ

 01/05/2019

Visualización Matemática: Fundamentos, Algoritmos y Aplicaciones

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

Head: LAUREANO GONZALEZ VEGA

Typology: Competitive national public projects

Start year: 2021

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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LUIS FELIPE TABERA ALONSO

Typology: Competitive national public projects

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 2015

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

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

Head: LAUREANO GONZALEZ VEGA

Typology: Competitive national public projects

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 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

Head: LAUREANO GONZALEZ VEGA

Typology: Agreements and contracts art.83, University and Competitive Chairs UC

Start year: 2012

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

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

Head: TOMAS JESUS RECIO MUÑIZ

Typology: Competitive national public projects

Start year: 2012

WORKSHOP ON TROPICAL GEOMETRY

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

Head: TOMAS JESUS RECIO MUÑIZ

Typology: Complementary actions and Infrastructures

Start year: 2011

FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, CONDICIONAMIENTO, METODOS NUMERICOS E INGENIERIA DE SOFTWARE EN GEOMETRIA ALGEBRAICA EFECTIVA (MTM2010-16051)

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

Head: LUIS MIGUEL PARDO VASALLO

Typology: Competitive national public projects

Start year: 2011

CONFERENCIA KLEIN-ESPAÑA: MATEMATICAS PARA LA EDUCACION DEL SIGLO XXI

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

Head: TOMAS JESUS RECIO MUÑIZ

Typology: Complementary actions and Infrastructures

Start year: 2010

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

 Authorship: MIGUEL ÁNGEL ACOSTA RODRÍGUEZ

 Supervision: LAUREANO GONZALEZ VEGA , JORGE MARÍN RODRIGUEZ DIAZ

 Defense date: 04/02/2016

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

 Authorship: IBRAHIM ADAMOU

 Supervision: LAUREANO GONZALEZ VEGA , MARIO ALFREDO FIORAVANTI VILLANUEVA 

 Defense date: 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.

 Authorship: CRUZ ENRIQUE BORGES HERNANDEZ

 Supervision: LUIS MIGUEL PARDO VASALLO, JOSE LUIS MONTAÑA ARNAIZ 

 Defense date: 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.

 Authorship: FERNANDO CARRERAS OLIVER

 Supervision: JAIME PUIG-PEY ECHEBESTE, LAUREANO GONZALEZ VEGA 

 Defense date: 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.

 Authorship: LUIS FELIPE TABERA ALONSO

 Supervision: TOMAS JESUS RECIO MUÑIZ

 Defense date: 16/07/2007

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

 Authorship: CARLOS BELTRAN ALVAREZ

 Supervision: LUIS MIGUEL PARDO VASALLO

 Defense date: 08/09/2006

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

 Authorship: IOANA GABRIELA NECULA

 Supervision: LAUREANO GONZALEZ VEGA 

 Defense date: 08/06/2005

Dealing with degeneracies in automated theorem proving in geometry (Maple worksheet)

Dataset

 DOI: 10.5281/zenodo.5179979

 Authorship: ZOLTÁN KOVÁCS, TOMAS JESUS RECIO MUÑIZ, LUIS FELIPE TABERA ALONSO, M. PILAR VÉLEZ

 2021