Maple program for cubical categories ?

Bonjour, I have calculations to do in a cubical omega-category (see works of Brown, Higgins, etc... for the definition). I have to verify some equalities. I am wondering whether there is a program (Maple, anything else) in order to simplify automatically expressions containing only the usual operators like the three families of degeneracy maps of a cubical set with connections, operations +_j, and the usual face maps. Every composition of degeneracy maps and face maps can be ordered with the degeneracy maps of the cubical sets in the first place (in a canonical order), followed by the connection maps, followed by the face maps. But I do not see a canonical way to deal with +_j (because of the interchange law for example). pg.