Section: New Software and Platforms

Cox

Keywords: Computer algebra system (CAS) - Rewriting systems - Algebra

Functional Description: Cox is a Python library for the computation of coherent presentations of Artin monoids, with experimental features to compute the lower dimensions of the Salvetti complex.

• Participant: Yves Guiraud

• Contact: Yves Guiraud

• Publications: Coherent presentations of Artin monoids - A Homotopical Completion Procedure with Applications to Coherence of Monoids

• URL: https://www.irif.fr/~guiraud/cox/cox.zip