algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
Kenzo is a software for computations in constructive algebraic topology (computational topology).
Jonathan Heras, Vico Pascual, Ana Romero, Julio Rubio, Integrating multiple sources to answer questions in Algebraic Topology, Lectures Notes in Artificial Intelligence 6167 (2010) [arXiv:1005.0749]
Based on :
126 5 (2002) 389-412 [arXiv:math/0111243, doi:10.1016/S0007-4497(02)01119-3]
Exposition:
A rewrite of Kenzo in Haskell:
Last revised on October 31, 2022 at 11:34:45. See the history of this page for a list of all contributions to it.