On the Computation of Hilbert-Poincaré Series. - Anna Maria Bigatti; Massimo Caboara; Lorenzo Robbiano (Appl. Algebra Eng. Commun. Comput., 1991)

A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. - Anna Maria Bigatti; Pasqualina Conti; Lorenzo Robbiano; Carlo Traverso (AAECC, 1993)

Computing Toric Ideals. - Anna Maria Bigatti; Roberto La Scala; Lorenzo Robbiano (J. Symb. Comput., 1999)

Computing Ideals of Points. - John Abbott; Anna Maria Bigatti; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2000)

CoCoA: a system for computations in commutative algebra. - Anna Maria Bigatti; Lorenzo Robbiano (ISSAC, 2006)

CoCoA: computations in commutative algebra. - John Abbott; Anna Maria Bigatti; Massimo Caboara; Lorenzo Robbiano (ACM Commun. Comput. Algebra, 2007)

Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. - Anna Maria Bigatti; Eduardo Sáenz-de-Cabezón (ISSAC, 2009)

CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. - John Abbott; Anna Maria Bigatti (ICMS, 2010)

Computing inhomogeneous Gröbner bases. - Anna Maria Bigatti; Massimo Caboara; Lorenzo Robbiano (J. Symb. Comput., 2011)

What Is New in CoCoA? - John Abbott; Anna Maria Bigatti (ICMS, 2014)

Integration of Libnormaliz in CoCoALib and CoCoA 5. - John Abbott; Anna Maria Bigatti; Christof Söger (ICMS, 2014)

What is new in CoCoALib and CoCoA-5? - John Abbott; Anna Maria Bigatti (ACM Commun. Comput. Algebra, 2015)

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CICM, 2016)

CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. - John Abbott; Anna Maria Bigatti (SC²@SYNASC, 2016)

Satisfiability checking and symbolic computation. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (ACM Commun. Comput. Algebra, 2016)

Groebner Bases for Everyone with CoCoA-5 and CoCoALib. - John Abbott; Anna Maria Bigatti (CoRR, 2016)

Satisfiability Checking meets Symbolic Computation (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CoRR, 2016)

SC-square: when Satisfiability Checking and Symbolic Computation join forces. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Vijay Ganesh 001; Alberto Griggio; et al. (ARCADE@CADE, 2017)

New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. - John Abbott; Anna Maria Bigatti (SC²@ISSAC, 2017)

CoCoA-5.2.2 and CoCoALib. - John Abbott; Anna Maria Bigatti (ACM Commun. Comput. Algebra, 2017)

Implicitization of hypersurfaces. - John Abbott; Anna Maria Bigatti; Lorenzo Robbiano (J. Symb. Comput., 2017)

New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. - John Abbott; Anna Maria Bigatti; Elisa Palezzato (SC-Square@FLOC, 2018)

Discovery of statistical equivalence classes using computer algebra. - Christiane Görgen; Anna Maria Bigatti; Eva Riccomagno; Jim Q. Smith (Int. J. Approx. Reason., 2018)

Linear Algebra for Zero-Dimensional Ideals. - Anna Maria Bigatti (ISSAC, 2019)

Monomial Resolutions for Efficient Computation of Simplicial Homology. - Anna Maria Bigatti; Jónathan Heras; Eduardo Sáenz-de-Cabezón (ISSAC, 2019)

Computing and using minimal polynomials. - John Abbott; Anna Maria Bigatti; Elisa Palezzato; Lorenzo Robbiano (J. Symb. Comput., 2020)

Foreword. - Anna Maria Bigatti; Francisco Botana; Thierry N. Dana-Picard; Felipe Gago; Ilias S. Kotsireas; Manuel Ladra; Wei Li (Math. Comput. Sci., 2020)

A C++ class for multi-state algebraic reliability computations. - Anna Maria Bigatti; Patricia Pascual-Ortigosa; Eduardo Sáenz-de-Cabezón (Reliab. Eng. Syst. Saf., 2021)

Saturations of subalgebras, SAGBI bases, and U-invariants. - Anna Maria Bigatti; Lorenzo Robbiano (J. Symb. Comput., 2022)