On constructive methods in algebraic topology (constructive algebraic topology):
126 5 (2002) 389-412 [arXiv:math/0111243, doi:10.1016/S0007-4497(02)01119-3]
On the Kenzo software for computations in constructive algebraic 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]
Julio Rubio, Formalization of Mathematics: why Algebraic Topology?, MAP Spring School 2012 [pdf]
Last revised on October 30, 2022 at 13:49:59. See the history of this page for a list of all contributions to it.