Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Álgebra homológica"”.
-
Razonamiento mecanizado en álgebra homológica
We face the problem of obtaining a certified version of a crucial algorithm in the field of Homological Algebra, known as "Perturbation Lemma". This lemma is intensively used in the software system "Kenzo", devoted to symbolic computation in Homological Algebra. To this end, we use the proof …
-
Teoría de multiplicidad aplicado a la fórmula límite de Samuel
… actual se caracteriza por el predominio del álgebra, y se habla a menudo de la algebrización de todas las ramas de la tradicional matemática. Esta tendencia se origina en los trabajos geniales de Galois para dar solución definitiva al problema de hallar las raíces de las ecuaciones …
-
On homotopical algebra and quantum field theories
… dedicada al estudio de la teoría de homotopía de álgebras operádicas y sus aplicaciones en teoría cuántica de campos (qft por sus siglas en inglés). Para ello, por un lado se desarrollan herramientas pertenecientes a la teoría de homotopía abstracta y herramientas en el ámbito de las opéradas y …
-
Certifying homological algorithms to study biomedical images
… estructuras de datos, preservando la información homológica. Tras un primer capítulo de preliminares (con una introducción de las matemáticas a formalizar y de Coq/SSReflect, así como la metodología utilizada), en el capítulo 2 se formaliza un algoritmo de Romero-Sergeraert para la construcción de …
-
A igualdade de Auslander-Buchsbaum.
The classical Auslander-Buchsbaum equality furnishes a relationship between two fundamental algebraic nvariants: depth and homological dimension. Our goal will be to prove such result and to apply it into the context of logarithmic derivations.