Anna Maria Bigatti

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 19

Top Topics

Equivalence Class

Parametric Curves

Imperative Programs

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

Anna Maria Bigatti, Lorenzo Robbiano
Saturations of subalgebras, SAGBI bases, and U-invariants. J. Symb. Comput. 109 (2022)
Anna Maria Bigatti, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón
A C++ class for multi-state algebraic reliability computations. Reliab. Eng. Syst. Saf. 213 (2021)
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Computing and using minimal polynomials. J. Symb. Comput. 100 (2020)
Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li
Foreword. Math. Comput. Sci. 14 (2) (2020)
Anna Maria Bigatti
Linear Algebra for Zero-Dimensional Ideals. ISSAC (2019)
Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón
Monomial Resolutions for Efficient Computation of Simplicial Homology. ISSAC (2019)
Christiane Görgen, Anna Maria Bigatti, Eva Riccomagno, Jim Q. Smith
Discovery of statistical equivalence classes using computer algebra. Int. J. Approx. Reason. 95 (2018)
John Abbott, Anna Maria Bigatti, Elisa Palezzato
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. SC-Square@FLOC (2018)
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
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
John Abbott, Anna Maria Bigatti
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. SC²@ISSAC (2017)
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Computing and Using Minimal Polynomials. CoRR (2017)
John Abbott, Anna Maria Bigatti, Lorenzo Robbiano
Implicitization of hypersurfaces. J. Symb. Comput. 81 (2017)
John Abbott, Anna Maria Bigatti
CoCoA-5.2.2 and CoCoALib. ACM Commun. Comput. Algebra 51 (3) (2017)
John Abbott, Anna Maria Bigatti
CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. SC²@SYNASC (2016)
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
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
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
Satisfiability Checking and Symbolic Computation. CoRR (2016)
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
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
John Abbott, Anna Maria Bigatti
Groebner Bases for Everyone with CoCoA-5 and CoCoALib. CoRR (2016)
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
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
John Abbott, Anna Maria Bigatti
What is new in CoCoALib and CoCoA-5? ACM Commun. Comput. Algebra 49 (4) (2015)
John Abbott, Anna Maria Bigatti, Christof Söger
Integration of Libnormaliz in CoCoALib and CoCoA 5. ICMS (2014)
John Abbott, Anna Maria Bigatti
What Is New in CoCoA? ICMS (2014)
Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
Computing inhomogeneous Gröbner bases. J. Symb. Comput. 46 (5) (2011)
John Abbott, Anna Maria Bigatti
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. ICMS (2010)
Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón
Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. ISSAC (2009)
John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
CoCoA: computations in commutative algebra. ACM Commun. Comput. Algebra 41 (3) (2007)
Anna Maria Bigatti, Lorenzo Robbiano
CoCoA: a system for computations in commutative algebra. ISSAC (2006)
John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano
Computing Ideals of Points. J. Symb. Comput. 30 (4) (2000)
Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano
Computing Toric Ideals. J. Symb. Comput. 27 (4) (1999)
Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso
A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. AAECC (1993)
Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
On the Computation of Hilbert-Poincaré Series. Appl. Algebra Eng. Commun. Comput. 2 (1991)