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 8 of 8 for “"Topología algebraica"”.
-
Gestión mecanizada del conocimiento matemático en topología algebraica
The work presented in this thesis tries to particularize Mathematical Knowledge Management to Algebraic Topology. Mathematical Knowledge Management is a branch of Computer Science whose main goal consists in developing integral assistants for Mathematics including computation, deduction and …
-
Homotopía cónica
Desde los inicios de la Topología Algebraica hasta nuestros días se han ido consiguiendo axiomáticas de las distintas teorías encuadradas dentro de esta denominación. En este sentido, aunque se han dado diversas de la homotopía, ninguna de ellas llega a interpretar plenamente dicho concepto, pues …
-
On homotopical algebra and quantum field theories
… factorización y las teorías cuánticas de campos algebraicas (aqfts por sus siglas en inglés). En el marco del álgebra homotópica, se prueban nuevos teoremas de localización de Bousfield para estructuras de semimodelos, dando a su vez aplicaciones en otras áreas de las matemáticas como el álgebra …
-
Grupos fundamentales de superficies
… trabajo de grado está enfocado en el área de topología Algebraica, sobre el cálculo de los grupos fundamentales de superficies. Antes de tratar los grupos fundamentales de superficies, se dan unas nociones generales sobre topología general, se introduce lo que es una variedad con borde y sin …
-
Certifying homological algorithms to study biomedical images
… partes de matemáticas relacionadas con la Topología Algebraica. La idea central en la tesis es que se puede formalizar en teoría de tipos constructiva (y, por tanto, se pueden obtener programas correctos) todo el proceso que lleva de una imagen digital al cálculo homológico que permite …
-
Parallelization strategies for extraction of (co)homological information of digital objects.
… de algoritmos en Computación con Membranas sobre Topología Algebraica Computacional. Este marco de trabajo está fuertemente relacionado con la Teoría Discreta de Morse. La segunda contribución principal es la aplicación del marco de trabajo anterior para desarrollar un algoritmo paralelo qu …
-
Effective computation of invariants of finite topological spaces
… definiciones y resultados concernientes a la Topología Algebraica de espacios topológicos finitos, sus conecciones con complejos simpliciales y algunas perspectivas de la Teoría de Morse Discreta, las cuales serán útiles a lo largo de este trabajo. También se ha incluído una presentación del …