Henri Lombardi

Centre National de la Recherche Scientifique — France

Mathematics · Physical Sciences

20h-index1.5kcitations183works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Rings, Modules, and Algebras(66), Commutative Algebra and Its Applications(45), Polynomial and algebraic computation(42), Advanced Algebra and Logic(34), Advanced Topics in Algebra(32)

Publications183 total

Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
Journal of Symbolic Computation·2025Open Access
A decisive Theorem (Un théorème décisif)
arXiv (Cornell University)·2025Open Access
Algebraic identities to prove that a neat finite free algebra is tracically étale
arXiv (Cornell University)·2025Open Access
An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
History and Philosophy of Logic·2025· 9 citedOpen Access
Note on the coincidence of two Henselizations
Journal of Algebra and Its Applications·2025Open Access
Rationally presented metric spaces and complexity, the case of the space of uniformly continuous real functions on a compact interval
arXiv (Cornell University)·2025Open Access
Multivariate Hensel Lemma for ultrametric fields
Journal of Algebra·2025Open Access
In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
arXiv (Cornell University)·2024· 1 citedOpen Access
Geometric theories for real number algebra without sign test or dependent choice axiom
arXiv (Cornell University)·2024Open Access
Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant
arXiv (Cornell University)·2024Open Access
Valuative dimension, constructive points of view
Journal of Algebra·2024Open Access
Heitmann dimension of distributive lattices and commutative rings
arXiv (Cornell University)·2023Open Access
Valuative dimension, constructive points of view
arXiv (Cornell University)·2023Open Access
Dimension de Krull, Nullstellensätze et Évaluation Dynamique
arXiv (Cornell University)·2023Open Access
The constructive content of a local-global principle with an application to the structure of a finitely generated projective module
arXiv (Cornell University)·2023Open Access
Azumaya algebras and Barr Theorem
arXiv (Cornell University)·2023Open Access
Constructive Theory of Ordinals
WORLD SCIENTIFIC eBooks·2023· 2 citedOpen Access
Valuative Lattices and Spectra
2023· 1 cited
Valuative lattices and spectra
arXiv (Cornell University)·2022Open Access
Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
arXiv (Cornell University)·2022Open Access
page 1 of 10Next →

Frequent Co-authors

Marie-Françoise Roy(11), Thierry Coquand(11), Tomás Recio(5), Claude Quitté(5), Laureano González-Vega(5), Peter Schuster(4), Gema M. Diaz–Toca(3), Ihsen Yengui(3), Salah Labhalla(3), Michel Coste(2), Claude Quitt�(2), Lionel Ducos(2), Daniel Perrucci(2), Stefan Neuwirth(2), Ioannis Z. Emiris(1), André Galligo(1), L. Gaonzalez(1), Mohab Safey El Din(1), Matthieu Salou(1), Nadia Ben Atti(1)