TY - RPRT TI - A computer algebra system for the study of commutativity up-to-coherent homotopies AU - Anibal M. Medina-Mardones PY - 2021 UR - https://arxiv.org/abs/2102.07670 ID - 2102.07670 ER -