Anna Maria Bigatti

According to our database, Anna Maria Bigatti authored at least 29 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Saturations of subalgebras, SAGBI bases, and U-invariants.

Anna Maria Bigatti, Lorenzo Robbiano

J. Symb. Comput., 2022

2021

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

2020

Foreword.

Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li

Math. Comput. Sci., 2020

Computing and using minimal polynomials.

John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano

J. Symb. Comput., 2020

2019

Monomial Resolutions for Efficient Computation of Simplicial Homology.

Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Linear Algebra for Zero-Dimensional Ideals.

Anna Maria Bigatti

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

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

New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square.

John Abbott, Anna Maria Bigatti, Elisa Palezzato

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

Implicitization of hypersurfaces.

John Abbott, Anna Maria Bigatti, Lorenzo Robbiano

J. Symb. Comput., 2017

CoCoA-5.2.2 and CoCoALib.

John Abbott, Anna Maria Bigatti

ACM Commun. Comput. Algebra, 2017

New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square.

John Abbott, Anna Maria Bigatti

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

SC-square: when Satisfiability Checking and Symbolic Computation join forces.

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

Proceedings of the ARCADE 2017, 2017

2016

Satisfiability Checking meets Symbolic Computation (Project Paper).

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

CoRR, 2016

Groebner Bases for Everyone with CoCoA-5 and CoCoALib.

John Abbott, Anna Maria Bigatti

CoRR, 2016

Satisfiability checking and symbolic computation.

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

ACM Commun. Comput. Algebra, 2016

CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra.

John Abbott, Anna Maria Bigatti

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

SC²: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

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

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2015

What is new in CoCoALib and CoCoA-5?

John Abbott, Anna Maria Bigatti

ACM Commun. Comput. Algebra, 2015

2014

Integration of Libnormaliz in CoCoALib and CoCoA 5.

John Abbott, Anna Maria Bigatti, Christof Söger

Proceedings of the Mathematical Software - ICMS 2014, 2014

What Is New in CoCoA?

John Abbott, Anna Maria Bigatti

Proceedings of the Mathematical Software - ICMS 2014, 2014

2011

Computing inhomogeneous Gröbner bases.

Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano

J. Symb. Comput., 2011

2010

CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond.

John Abbott, Anna Maria Bigatti

Proceedings of the Mathematical Software, 2010

2009

Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms.

Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2007

CoCoA: computations in commutative algebra.

John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano

ACM Commun. Comput. Algebra, 2007

2006

CoCoA: a system for computations in commutative algebra.

Anna Maria Bigatti, Lorenzo Robbiano

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2000

Computing Ideals of Points.

John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano

J. Symb. Comput., 2000

1999

Computing Toric Ideals.

Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano

J. Symb. Comput., 1999

1993

A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.

Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso

Proceedings of the Applied Algebra, 1993

1991

On the Computation of Hilbert-Poincaré Series.

Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano

Appl. Algebra Eng. Commun. Comput., 1991