[[ICMS2010]] [[Reduce]] - http://servus.math.su.se/bergman/ - Bergman is a system for computations in commutative and purely non-commutative graded algebra. [[:not yet:]]