EUGENIO
ROANES LOZANO
Catedrático de universidad
Tesis doctoral
-
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
Tesis dirigidas (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
-
Modificaciones curriculares en matemáticas producidas por la introducción de las nuevas tecnologías 2001
Universidad de Extremadura
Cabezas Corchero, Justo
-
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.
-
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
Tribunales de tesis (15)
-
Vocal del tribunal
Estudio asintótico de curvas y superficies 2022Universidad de Alcalá
Campo Montalvo, Elena
-
Presidente del tribunal
Límite infinito de una sucesión: fenómenos que organiza 2019Universidad Complutense de Madrid
Arnal Palacián, Mónica
-
Presidente del tribunal
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
-
Secretario del tribunal
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
-
Vocal del tribunal
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos 2014Universidad de Sevilla
Galán Páez, Juan
-
Vocal del tribunal
Formalización en isar de la metalógica de primer orden 2012Universidad de Sevilla
Serrano Suárez, Fabián Fernando
-
Secretario del tribunal
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
-
Vocal del tribunal
Nuevas técnicas para la animación del comportamiento de agentes virtuales autónomos 2005Universidad de Cantabria
Luengo González, Ricardo
-
Vocal del tribunal
Sistema computacional de diagnosis de estados depresivos 2005Universidad de Alcalá
Rodríguez Solano, Carlos
-
Secretario del tribunal
Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos 2004Universidad de Sevilla
HIDALGO DOBLADO, MARIA JOSE
-
Vocal del tribunal
Verificación formal en ACL2 del Algoritmo de Buchberger 2003Universidad de Sevilla
Medina Bulo, Inmaculada
-
Vocal del tribunal
Geometría dinámica inteligente 2003Universidade de Vigo
VALCARCE GÓMEZ JOSE LUIS
-
Secretario del tribunal
La enseñanza del álgebra lineal mediante sistemas informáticos de cálculo algebraico 2002Universidad Complutense de Madrid
Ortega Pulido, Pedro
-
Secretario del tribunal
Operadores de generalización para el aprendizaje clausal 2002Universidad de Sevilla
Gutiérrez Naranjo, Miguel Ángel
-
Secretario del tribunal
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