nLab Julio Rubio

Selected writings

Selected writings

On constructive methods in algebraic topology (constructive algebraic topology):

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]

category: people

Last revised on October 30, 2022 at 13:49:59. See the history of this page for a list of all contributions to it.