cs-conference-ranking.org Search 971 venues

Anna Maria Bigatti

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

3

Active years

2006–2019

Best venue rank

B

Where they publish

Papers

7 indexed papers, newest first.

Year	Venue	Title	Authors
2019	ISSAC	Linear Algebra for Zero-Dimensional Ideals.	Anna Maria Bigatti
2019	ISSAC	Monomial Resolutions for Efficient Computation of Simplicial Homology.	Anna Maria Bigatti, Jnathan Heras, Eduardo Senz-de-Cabezn
2017	CADE	SC-square: when Satisfiability Checking and Symbolic Computation join forces.	Erika brahm, 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
2017	ISSAC	New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square.	John Abbott, Anna Maria Bigatti
2016	SYNASC	CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra.	John Abbott, Anna Maria Bigatti
2009	ISSAC	Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms.	Anna Maria Bigatti, Eduardo Senz-de-Cabezn
2006	ISSAC	CoCoA: a system for computations in commutative algebra.	Anna Maria Bigatti, Lorenzo Robbiano