activity
19922021
most citedSatisfiability Checking meets Symbolic Computation (Project Paper)

39 citations · 46 across the 8 of their papers we have counts for

collaborators

13 papers

math.AC2021

A C++ class for algebraic reliability computations

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

We present the design and implementation of a \texttt{C++} class for reliability analysis of multi-state systems using an algebraic approach based on monomial ideals. The class is…

math.AC2019

Saturations of Subalgebras, SAGBI Bases, and U-invariants

Anna Maria Bigatti, Lorenzo Robbiano

Given a polynomial ring over a field , an element , and a -subalgebra of , we deal with the problem of saturating with respect to , i.e. computing…

math.AG2018

New characterizations of freeness for hyperplane arrangements

Anna Maria Bigatti, Elisa Palezzato, Michele Torielli

In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian…

math.AC2018

Ideals modulo a prime

John Abbott, Anna Maria Bigatti, Lorenzo Robbiano

The main focus of this paper is on the problem of relating an ideal in the polynomial ring to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]…

math.AC2017

Computing and Using Minimal Polynomials

John Abbott, Anna Maria Bigatti, Elisa Palezzato +1

Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular ca…

math.AC2017★ 1 cited

Extremal behaviour in sectional matrices

Anna Maria Bigatti, Elisa Palezzato, Michele Torielli

In this paper we want to revive the object sectional matrix which encodes the Hilbert functions of successive hyperplane sections of a homogeneous ideal. We translate and/or reprov…