Lombardi, Henri

1. Hidden constructions in abstract algebra, Krull Dimension, Going Up,\n Going Down
   2017/12/13 by Thierry Coquand, Coquand, Thierry, Henri Lombardi +1 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Rings, Modules, and Algebras #Commutative Algebra and Its Applications
2. Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
   2024/11/25 by Neuwirth, Stefan, Lombardi, Henri, Yengui, Ihsen · 1 citation
   #Commutative Algebra (math.AC) #FOS: Mathematics