Software system and project for computations with monomial ideals
