Optimal flat functions in Carleman-Roumieu ultraholomorphic classes in sectors

Artículo de Revista

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

 Autoría: JESUS JAVIER JIMENEZ GARRIDO, IGNACIO MIGUEL CANTERO, JAVIER SANZ, GERHARD SCHINDL

 01/06/2023

On generalized definitions of ultradifferentiable classes

Artículo de Revista

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

 Autoría: 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

Comunicación a Congreso

EACA 2022. XVII Encuentro de Álgebra Computacional y Aplicaciones

 Autoría: 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

Artículo de Revista

Results in Mathematics, 2022, 77, 28

 Autoría: JESUS JAVIER JIMENEZ GARRIDO, JAVIER SANZ, GERHARD SCHINDL

 2022

Solving the interference problem for ellipses and ellipsoids: New formulae

Artículo de Revista

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

 Autoría: 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

Artículo de Revista

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

 Autoría: JESUS JAVIER JIMENEZ GARRIDO, FRANCISCO JAVIER SANZ GIL, G. SCHINDL

 01/10/2021

Dealing with degeneracies in automated theorem proving in geometry

Artículo de Revista

Mathematics, 2021, 9(16), 1964

 Autoría: 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

Artículo de Revista

Mathematics, 2021, 9 (15) 1784

 Autoría: 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

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

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

Artículo de Revista

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

 Autoría: 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

Artículo de Revista

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

 Autoría: 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

Capítulo de libro

Libro Blanco de las Matemáticas

 Autoría: 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

Comunicación a Congreso

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

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

 2020

Exploring artwork through Delaunay triangulations

Comunicación a Congreso

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

 Autoría: 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

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

Proof Technology in Mathematics Research and Teaching

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

 2019

Automatically Augmented Reality with GeoGebra

Capítulo de libro

Augmented Reality in Educational

 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

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

 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

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

 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

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

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

Responsable: LAUREANO GONZALEZ VEGA

Tipología: Proyectos competitivos nacionales publicos

Año de inicio: 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

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

WORKSHOP ON TROPICAL GEOMETRY

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

Responsable: TOMAS JESUS RECIO MUÑIZ

Tipología: Acciones complementarias e Infraestructuras

Año de inicio: 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

Responsable: LUIS MIGUEL PARDO VASALLO

Tipología: Proyectos competitivos nacionales publicos

Año de inicio: 2011

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

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

Responsable: TOMAS JESUS RECIO MUÑIZ

Tipología: Acciones complementarias e Infraestructuras

Año de inicio: 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

 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: LAUREANO GONZALEZ VEGA , MARIO ALFREDO FIORAVANTI VILLANUEVA 

 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: LUIS MIGUEL PARDO VASALLO, JOSE LUIS MONTAÑA ARNAIZ 

 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: JAIME PUIG-PEY ECHEBESTE, LAUREANO GONZALEZ VEGA 

 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

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

Dataset

 DOI: 10.5281/zenodo.5179979

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

 2021