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 3 of 3 for “"Formalization of mathematics"”.
-
Embodied mathematics by interactive sketching
The language and formalization of mathematics historically evolved as an interplay between abstractions and their grounding in real world objects and events. The embodied mathematics philosophy posits that our mathematical capabilities are centered around our embodied experiences, and abstract math …
-
Certifying homological algorithms to study biomedical images
En esta tesis se aborda el problema de la verificación de programas para el procesamiento homológico de imágenes biomédicas. Concretamente, se formalizan en la herramienta de demostración Coq/SSReflect algoritmos para el cálculo de grupos de homología, lo que produce programas ejecutables que son …
-
Internal Yoneda Ext Groups, Central H-spaces, and Banded Types
… in synthetic homotopy theory using the language of homotopy type theory, and study their semantic counterparts in an ∞-topos. Specifically, we study Grothendieck categories and Yoneda Ext groups in this setting, as well as a novel class of central H-spaces along with their associated bands. The …