Tesis doctoral de Juan Antonio Pereira Varela Esta tesis tiene como objetivo demostrar la hipótesis que afirma que con la […]
Tesis doctoral de Jónatan Heras Vicente Esta tesis presenta una particularización de la gestión del conocimiento matemático (mathematical knowledge management)
Tesis doctoral de Eloy Javier Mata Sotés El objetivo de la tesis ha sido la aplicación de métodos formales en
Tesis doctoral de Rocio Gonzalez Diaz En esta memoria se establece un enfoque puramente combinatorio de las operaciones cohomológicas de
Tesis doctoral de Francisco Javier Zarazaga Soria La tesis aborda el estudio de la potenciación de la reutilización de código
Tesis doctoral de Belén Medrano Garfia Esta tesis aborda el problema de computar características topológicas en el dominio de las
Tesis doctoral de Ana Romero Ibáñez Homología efectiva y sucesiones espectrales son dos técnicas distintas de topología algebraica que pueden
Tesis doctoral de María De Los Angeles Garrido Vizuete El área de investigación sobre dibujos de grafos (graph drawing) se
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y
