4 papers
Buchberger-Weispfenning Theory for Effective Associative Rings
Michela Ceria
We present here a new approach for computing Gröbner bases for bilateral modules over an effective ring. Our method is based on Weispfenning notion of restricted Gröbner bases and…
An algorithmic approach using multivariate polynomials for the nonlinearity of Boolean functions
Emanuele Bellini, Teo Mora, Massimiliano Sala
The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinea…
A general framework for Noetherian well ordered polynomial reductions
Michela Ceria, Teo Mora, Margherita Roggero
Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an e…
Term-ordering free involutive bases
Michela Ceria, Teo Mora, Margherita Roggero
In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneo…