Showing math.ACShow all
3 papers · 1 filter
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…
math.AC2023
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.AC2019
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…