EUGENIO
ROANES LOZANO
Catedrático de universidad
Thesis
-
Ramificación en K-álgebras y teoremas de ascenso y descenso 1991
Universidad de Sevilla
-
Automatización e implementación de algunos problemas algebraicos y geométricos 1993
Universidad Politécnica de Madrid
Supervised Theses (6)
-
Unas aplicaciones de la matemática computacional a la ingeniería del transporte 2022
Universidad Complutense de Madrid
ALMECH JIMENEZ, ALBERTO
-
Modelo algebraico con precálculo de operaciones para la detección de situaciones peligrosas en grandes instalaciones ferroviarias 2018
Universidad Politécnica de Madrid
MAESTRE MARTÍNEZ, ROBERTO
-
Selección, organización y secuenciación del conocimiento matemático mediante teoría de grafos 2015
Universidad Complutense de Madrid
-
Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento 2001
Universidad Politécnica de Madrid
Díaz Valderrama, Ana M.
-
Modificaciones curriculares en matemáticas producidas por la introducción de las nuevas tecnologías 2001
Universidad de Extremadura
Cabezas Corchero, Justo
-
Automatización e implementación de algunas técnicas de almacenamiento de procesos en problemas geométricos y de clasificación automática 2000
Universidad Politécnica de Madrid
Theses Committees (15)
-
Committee Member
Estudio asintótico de curvas y superficies 2022Universidad de Alcalá
Campo Montalvo, Elena
-
Chair of the Committee
Límite infinito de una sucesión: fenómenos que organiza 2019Universidad Complutense de Madrid
Arnal Palacián, Mónica
-
Chair of the Committee
Mecanismos articulados para trazar curvas como recurso educativo digital para la didáctica de las matemáticas en Secundaria y Bachillerato 2017Universidad Autónoma de Madrid
Manzano Mozo, Francisco Javier
-
Secretary of the Committee
Towards an integrated instructional model for the design of common learning resources in engineering education for academia and industry 2017Universidad Complutense de Madrid
Crepon, Rémy Jean Yves
-
Committee Member
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos 2014Universidad de Sevilla
Galán Páez, Juan
-
Committee Member
Formalización en isar de la metalógica de primer orden 2012Universidad de Sevilla
Serrano Suárez, Fabián Fernando
-
Secretary of the Committee
Videojuegos: medio de ocio, cultura popular y recurso didáctico para la enseñanza y aprendizaje de las matemáticas escolares 2009Universidad Autónoma de Madrid
García Gigante, Benjamín
-
Committee Member
Nuevas técnicas para la animación del comportamiento de agentes virtuales autónomos 2005Universidad de Cantabria
Luengo González, Ricardo
-
Committee Member
Sistema computacional de diagnosis de estados depresivos 2005Universidad de Alcalá
Rodríguez Solano, Carlos
-
Secretary of the Committee
Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos 2004Universidad de Sevilla
HIDALGO DOBLADO, MARIA JOSE
-
Committee Member
Verificación formal en ACL2 del Algoritmo de Buchberger 2003Universidad de Sevilla
Medina Bulo, Inmaculada
-
Committee Member
Geometría dinámica inteligente 2003Universidade de Vigo
VALCARCE GÓMEZ JOSE LUIS
-
Secretary of the Committee
La enseñanza del álgebra lineal mediante sistemas informáticos de cálculo algebraico 2002Universidad Complutense de Madrid
Ortega Pulido, Pedro
-
Secretary of the Committee
Operadores de generalización para el aprendizaje clausal 2002Universidad de Sevilla
Gutiérrez Naranjo, Miguel Ángel
-
Secretary of the Committee
Una teoría computacional acerca de la lógica ecuacional (formalización en acl2 de la lógica ecuacional y demostración automática de sus propiedades) 2001Universidad de Sevilla
Ruiz Reina, José Luis