32 citations · 56 across the 12 of their papers we have counts for
Showing 2022 · math.ACShow all
2 papers · 2 filters
math.AC2022★ 1 cited
Some remarks about normal rings
Henri Lombardi, Thierry Coquand
We give a constructive proof that is normal when is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is base…
math.AC2022
Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
Mari-Emi Alonso, Henri Lombardi
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs a…