8 citations · 19 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.AC2023
Dimension de Krull, Nullstellensätze et Évaluation Dynamique
Henri Lombardi
We prove constructively a Nullstellensatz giving an equivalence between the existence of a certain kind of algebraic identity on one hand, and the impossibility of finding an incre…
math.AC2023★ 8 cited
An algorithm for computing syzygies on when is a valuation domain
Henri Lombardi, Claude Quitté, Ihsen Yengui
We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "ec…