8 citations · 19 across the 10 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.AC2015
Calcul matriciel généralisé sur les domaines de Prüfer
Gema M. Diaz-Toca, Henri Lombardi
In this paper, we first present an algorithm for computing the Hermite normal form of pseudo-matrices over Prüfer domains. This algorithm allows us to provide constructive proofs o…
math.AC2015
Théorème de de Smit et Lenstra, démonstration élémentaire
Henri Lombardi, Claude Quitté
We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"
math.AC2015★ 2 cited
Anneaux à diviseurs et anneaux de Krull (une approche constructive)
Thierry Coquand, Henri Lombardi
We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The mai…