2 papers
math.AC2025
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…
math.AC2024
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…