nLab Kenzo

Contents

Contents

Idea

Kenzo is a software for computations in constructive algebraic topology (computational topology).

References

  • Kenzo Homepage

  • 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 :

Exposition:

  • Julio Rubio, Formalization of Mathematics: why Algebraic Topology?, MAP Spring School 2012 [pdf]

A rewrite of Kenzo in Haskell:

category: reference

Last revised on October 31, 2022 at 11:34:45. See the history of this page for a list of all contributions to it.