The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Anna Maria Bigatti" ( http://dblp.L3S.de/Authors/Anna_Maria_Bigatti )

URL (Homepage):  https://orcid.org/0000-0002-2987-9333  Author page on DBLP  Author page in RDF  Community of Anna Maria Bigatti in ASPL-2

Publication years (Num. hits)
1991-2016 (18) 2017-2019 (7)
Publication types (Num. hits)
article(13) inproceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón Monomial Resolutions for Efficient Computation of Simplicial Homology. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti Linear Algebra for Zero-Dimensional Ideals. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoA-5.2.2 and CoCoALib. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano Computing and Using Minimal Polynomials. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Lorenzo Robbiano Implicitization of hypersurfaces. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti Groebner Bases for Everyone with CoCoA-5 and CoCoALib. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti What is new in CoCoALib and CoCoA-5? Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti What Is New in CoCoA? Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Christof Söger Integration of Libnormaliz in CoCoALib and CoCoA 5. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano Computing inhomogeneous Gröbner bases. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. Search on Bibsonomy ICMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cocoalib, irreducible decomposition, koszul homology, monomial ideal, stanley decomposition, betti numbers
1John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano CoCoA: computations in commutative algebra. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Lorenzo Robbiano CoCoA: a system for computations in commutative algebra. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano Computing Ideals of Points. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano Computing Toric Ideals. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. Search on Bibsonomy AAECC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano On the Computation of Hilbert-Poincaré Series. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license