Integrating multiple sources to answer questions in Algebraic Topology

Jonathan Heras, Vico Pascual, Ana Romero +1

We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the…