Información del grupo

Inicio Portal del Investigador > Grupos

Contenido de la página

Detalle GrupoIDI

ALGEBRA Y GEOMETRIA COMPUTACIONAL (CAG COMPUTATION ALGEBRA AND GEOMETRY)

Publicaciones
59
Proyectos
15
Tesis
7

Responsable del grupo: LUIS FELIPE TABERA ALONSO

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

AV DE LOS CASTROS S/N- FACULTAD DE CIENCIAS 39005 SANTANDER

942201431

Web del grupo

Lineas de investigación

ANALISIS DE EFICACIA DE ALGORITMOS SIMBOLICO/NUMERICOS
CALCULO CIENTIFICO SIMBOLICO-NUMERICO: DESARROLLO DE SOFTWARE Y DISEÑO GEOMETRICO ASISTIDO POR ORDENADOR - Responsable: LAUREANO GONZALEZ VEGA
CALCULO SIMBOLICO Y EDUCACION MATEMATICA
CRIPTOGRAFIA

Equipamiento

PAQUETES DE SOFTWARE DE CALCULO SIMBOLICO/NUMERICO Y GEOMETRICO

Laboratorios en funcionamiento

LABORATORIO DE CAD/CAM Y COMPUTACION EN EL CDTUC
HARDWARE Y SOFTWARE PARA LA MANIPULACION DE CURVAS Y SUPERFICIES EN SU ENTORNO INDUSTRIAL

Servicios

DESARROLLO DE ALGORITMOS Y SOFTWARE PARA LA MANIPULACION DE ENTIDADES ALGEBRAICAS Y GEOMETRICAS
DESARROLLO DE ALGORITMOS Y SOFTWARE PARA LA MANIPULACION DE ENTIDADES ALGEBRAICAS Y GEOMETRICAS

Entidades colaboradoras

AGENCIA ESTATAL DE INVESTIGACION
INSTITUTO NACIONAL ADMON. PUBLICA
MINISTERIO DE CIENCIA, INNOVACION Y UNIVERSIDADES
MINISTERIO DE ECONOMIA Y COMPETITIVIDAD - SECRETARIA DE ESTADO DE INVESTIGACION, DESARROLLO E INNOVACION
SUOMITECH SOLUCIONES INNOVADORAS,S.L.

Miembros Publicaciones Proyectos Tesis dirigidas

NEILA EMMA CAMPOS GONZALEZ

Profesor Asociado

DEPARTAMENTO DE MATEMÁTICA APLICADA Y CIENCIAS DE LA COMPUTACIÓN

Publicaciones
1
Proyectos
1

LAUREANO GONZALEZ VEGA

Catedrático de Universidad

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

Publicaciones
11
Proyectos
17
Tesis
6

LUIS FELIPE TABERA ALONSO

Responsable del grupo

Profesor Titular de Universidad

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

Publicaciones
5
Proyectos
3

Año de publicación

1 de 3 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

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

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

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

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

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

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

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

1 de 3 Siguiente Última

Año de inicio

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

Anualidad

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

Volver

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