Anna Maria Bigatti

34 papers B 4C 1Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Solving Polynomial Systems with Gröbner Bases: An Introduction to F4 and FGLM.
CoRR
Anna Maria Bigatti, Alessio Caminata, Tor Kristian Ellingsen, Evelina Lanteri, Andrea Sanguineti, Irene Villa
2022 J jnl
Saturations of subalgebras, SAGBI bases, and U-invariants.
J. Symb. Comput.
Anna Maria Bigatti, Lorenzo Robbiano
2021 J jnl
A C++ class for multi-state algebraic reliability computations.
Reliab. Eng. Syst. Saf.
Anna Maria Bigatti, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón
2020 J jnl
Computing and using minimal polynomials.
J. Symb. Comput.
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
2020 J jnl
Foreword.
Math. Comput. Sci.
Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li
2020 — ed.
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings
ICMS
Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
2019 B conf
Linear Algebra for Zero-Dimensional Ideals.
ISSAC
Anna Maria Bigatti
2019 B conf
Monomial Resolutions for Efficient Computation of Simplicial Homology.
ISSAC
Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón
2018 J jnl
Discovery of statistical equivalence classes using computer algebra.
Int. J. Approx. Reason.
Christiane Görgen, Anna Maria Bigatti, Eva Riccomagno, Jim Q. Smith
2018 — conf
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square.
SC-Square@FLOC
John Abbott, Anna Maria Bigatti, Elisa Palezzato
2018 — ed.
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.
SC-Square@FLOC
Anna Maria Bigatti, Martin Brain
2017 J jnl
CoCoA-5.2.2 and CoCoALib.
ACM Commun. Comput. Algebra
John Abbott, Anna Maria Bigatti
2017 J jnl
Computing and Using Minimal Polynomials.
CoRR
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
2017 J jnl
Implicitization of hypersurfaces.
J. Symb. Comput.
John Abbott, Anna Maria Bigatti, Lorenzo Robbiano
2017 — conf
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square.
SC²@ISSAC
John Abbott, Anna Maria Bigatti
2017 — conf
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
ARCADE@CADE
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
2016 — conf
CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra.
SC²@SYNASC
John Abbott, Anna Maria Bigatti
2016 J jnl
Groebner Bases for Everyone with CoCoA-5 and CoCoALib.
CoRR
John Abbott, Anna Maria Bigatti
2016 C conf
SC
CICM
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability Checking and Symbolic Computation.
CoRR
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability Checking meets Symbolic Computation (Project Paper).
CoRR
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability checking and symbolic computation.
ACM Commun. Comput. Algebra
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2015 J jnl
What is new in CoCoALib and CoCoA-5?
ACM Commun. Comput. Algebra
John Abbott, Anna Maria Bigatti
2014 — conf
Integration of Libnormaliz in CoCoALib and CoCoA 5.
ICMS
John Abbott, Anna Maria Bigatti, Christof Söger
2014 — conf
What Is New in CoCoA?
ICMS
John Abbott, Anna Maria Bigatti
2011 J jnl
Computing inhomogeneous Gröbner bases.
J. Symb. Comput.
Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
2010 — conf
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond.
ICMS
John Abbott, Anna Maria Bigatti
2009 B conf
Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms.
ISSAC
Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón
2007 J jnl
CoCoA: computations in commutative algebra.
ACM Commun. Comput. Algebra
John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
2006 B conf
CoCoA: a system for computations in commutative algebra.
ISSAC
Anna Maria Bigatti, Lorenzo Robbiano
2000 J jnl
Computing Ideals of Points.
J. Symb. Comput.
John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano
1999 J jnl
Computing Toric Ideals.
J. Symb. Comput.
Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano
1993 — conf
A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.
AAECC
Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso
1991 J jnl
On the Computation of Hilbert-Poincaré Series.
Appl. Algebra Eng. Commun. Comput.
Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano