Integration of the Kenzo System within SageMath for New Algebraic Topology Computations | Publicación