Anna Maria Bigatti Lorenzo Robbiano CoCoA: a system for computations in commutative algebra. 6 2006 conf/issac/2006 ISSAC http://doi.acm.org/10.1145/1145768.1145774 db/conf/issac/issac2006.html#BigattiR06