A System for Computing and Reasoning in Algebraic Topology | Publicación