32 citations · 100 across the 24 of their papers we have counts for
5 papers · 1 filter
The Berlekamp-Massey Algorithm revisited
Nadia Ben Atti, Gema M. Diaz--Toca, Henri Lombardi
We propose a slight modification of the Berlekamp-Massey Algorithm for obtaining the minimal polynomial of a given linearly recurrent sequence. Such a modification enables to expla…
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…
Valuative lattices and spectra
Henri Lombardi, Assia Mahboubi
The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical m…
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…
Constructive theory of ordinals
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
In Chapter 3 of his Notes on constructive mathematics, Martin-L{ö}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable…