Search

Abstract: In this corrigendum, I correct a mild error in a technical lemma of Yengui (2006) . This error affected some results and examples in Hadj Kacem and Yengui (2010) and Yengui (2006) . [Copyright &y& Elsevier]

Abstract: In this paper, we extend the notion of “dynamical Gröbner bases” introduced by the second author to Dedekind rings (with zero divisors). As an application, we dynamically solve the ideal membership problem and compute a generating set for the syzygy module over multivariate polynomial rings with coefficients in Dedekind rings. We also give a partial positive answer to a conjecture about Gröbner rings. [Copyright &y& Elsevier]

Abstract: In this paper, we introduce the notion of “dynamical Gröbner bases” of polynomial ideals over a principal ring. As application, we solve dynamically a fundamental algorithmic question in the theory of multivariate polynomials over the integers called “Kronecker''s problem,” that is the problem of finding a decision procedure for the ideal membership problem for . The notions of Gröbner bases over Noetherian valuation rings and dynamical Gröbner bases over principal rings have applications in error correcting codes. [Copyright &y& Elsevier]