Gestión mecanizada del conocimiento matemático en topología algebraica
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 doctorales de francis Sergeraert
Complejos reducidos de resoluciones y perturbacion homologica
Tesis doctoral de Victor Alvarez Solano Hasta la fecha, el algebra homologica ha sido un campo generalmente asociado a estudios
Razonamiento mecanizado en álgebra homológica
Tesis doctoral de Jesús María Aransay Azofra En la tesis se aborda el problema de obtener una versión certificada de
Desarrollo cocíclico de diseños y aplicaciones
Tesis doctoral de María Dolores Frau Garcia Al amparo de la teoría de perturbación homológica, en este trabajo se establece
Objetos localmente efectivos y tipos abstractos de datos
Tesis doctoral de Vico Pascual Martínez-losa El primer capítulo comienza con una sección en la que se presenta brevemente el
