Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza […]
Tesis doctoral sobre Algebra
Accede a todas las tesis doctorales sobre Algebra mas relevantes.
Acerca de la compensacion de grandes redes geodésicas aplicando teoria de grafos, matrices dispersas y programación orientada a objetos.
Tesis doctoral de David Hernández López El objeto de la tesis ha consistido en el estudio de la aplicación de
Algoritmos efectivos para la manipulacion de offsets de hipersuperficies
Tesis doctoral de Juan a Sendra Pons Esta tesis se encuadra en términos generales, dentro del calculo simbolico y de
Metodos constructivos en algebras de operadores diferenciales
Tesis doctoral de José M. Ucha Enriquez En el presente trabajo, se da una prueba constructiva de un caso particular
Cotas inferiores para problemas de evaluación en teoría de la complejidad algebraica
Tesis doctoral de Miguel Angel Aldaz Zaragueta En esta tesis se estudia la complejidad computacional del problema de la evaluación
Estudio de la relación entre propiedades de un anillo y sus anillos de matrices infinitas
Tesis doctoral de Costa Cano Francisco José El estudio de la relación entre propiedades de un anillo r y propiedades
Epistasis superior
Tesis doctoral de Vicente Suárez Peñaranda En esta memoria se profundiza en el análisis del concepto de epistasis. se muestra
Algebras y sistemas triples de lie con descomposicion de cartan. condiciones de regularidad en sistemas triples de lie
Tesis doctoral de Manuel Forero Piulestan En el primer capitulo de esta tesis se estudian las algebras de lie de
Aplicaciones de las matrices por bloques a los criptosistemas de cifrado en flujo.
Tesis doctoral de Rafael Ignacio álvarez Sánchez Este trabajo está motivado fundamentalmente por las excelentes propiedades criptográficas y de aleatoriedad
Geometria enumerativa de superficies regladas racionales
Tesis doctoral de Cristina Martinez Ramirez Las variedades de severi de curvas planas irreducibles de grado d con delta nodos,