6 citations · 6 across the 3 of their papers we have counts for
5 papers · 1 filter
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
Stefan Neuwirth, Henri Lombardi, Ihsen Yengui
Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of lead…
Valuative dimension, constructive points of view
Stefan Neuwirth, Henri Lombardi, Ihsen Yengui
There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent…
The multivariate Serre conjecture ring
Luc Guyot, Ihsen Yengui
It is well-known that for any commutative unitary ring , the Serre conjecture ring , i.e., the localization of the univariate polynomial ri…
Valuative dimension and monomial orders
Gregor Kemper, Ihsen Yengui
The main result from this note provides a constructive characterization of the valuative dimension, which bears a strong analogy to Lombardi's constructive characterization of the…
The syzygy theorem for Bézout rings
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth +1
We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings…