Henri Lombardi

40 papers B 2Journal 31Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings.
J. Symb. Comput.
Henri Lombardi, Stefan Neuwirth, Ihsen Yengui
2025 J jnl
Rationally presented metric spaces and complexity, the case of the space of uniformly continuous real functions on a compact interval.
CoRR
Henri Lombardi, Salah Labhalla, E. Moutai
2022 J jnl
The Berlekamp-Massey Algorithm revisited.
CoRR
Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi
2020 J jnl
The syzygy theorem for Bézout rings.
Math. Comput.
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui
2010 J jnl
Curves and coherent Prüfer rings.
J. Symb. Comput.
Thierry Coquand, Henri Lombardi, Claude Quitté
2010 J jnl
Dynamic Galois Theory.
J. Symb. Comput.
Gema M. Diaz-Toca, Henri Lombardi
2010 J jnl
Local Bézout Theorem.
J. Symb. Comput.
Maria Emilia Alonso, Henri Lombardi
2009 J jnl
Spectral schemes as ringed lattices.
Ann. Math. Artif. Intell.
Thierry Coquand, Henri Lombardi, Peter Schuster
2008 J jnl
A note on the axiomatisation of real numbers.
Math. Log. Q.
Thierry Coquand, Henri Lombardi
2008 J jnl
Comparison of Picard groups in dimension 1.
Math. Log. Q.
Henri Lombardi, Claude Quitté
2008 J jnl
Elementary constructive theory of Henselian local rings.
Math. Log. Q.
Maria Emilia Alonso, Henri Lombardi, Hervé Perdry
2008 J jnl
Seminormal rings (following Thierry Coquand).
Theor. Comput. Sci.
Henri Lombardi, Claude Quitté
2006 J jnl
A logical approach to abstract algebra.
Math. Struct. Comput. Sci.
Thierry Coquand, Henri Lombardi
2006 — ed.
Mathematics, Algorithms, Proofs, 9.-14. January 2005
Mathematics, Algorithms, Proofs
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
2006 J jnl
Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert.
Ann. Pure Appl. Log.
Henri Lombardi
2006 J jnl
The Berlekamp-Massey Algorithm revisited.
Appl. Algebra Eng. Commun. Comput.
Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi
2005 — conf
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.
Mathematics, Algorithms, Proofs
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
2005 — conf
A Nilregular Element Property.
Mathematics, Algorithms, Proofs
Thierry Coquand, Henri Lombardi, Peter Schuster
2005 J jnl
A Short Proof for the Krull Dimension of a Polynomial Ring.
Am. Math. Mon.
Thierry Coquand, Henri Lombardi
2005 — ch.
An elementary characterisation of Krull dimension.
From sets and types to topology and analysis
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
2005 J jnl
Generalized Budan-Fourier theorem and virtual roots.
J. Complex.
Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy
2005 J jnl
Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations.
SIAM J. Matrix Anal. Appl.
Gema M. Diaz-Toca, Laureano González-Vega, Henri Lombardi
2005 — conf
Henselian Local Rings: Around a Work in Progress.
Mathematics, Algorithms, Proofs
Hervé Perdry, Mariemi Alonso, Henri Lombardi
2005 J jnl
Suslin's algorithms for reduction of unimodular rows.
J. Symb. Comput.
Henri Lombardi, Ihsen Yengui
2001 J jnl
Dynamical method in algebra: effective Nullstellensätze.
Ann. Pure Appl. Log.
Michel Coste, Henri Lombardi, Marie-Françoise Roy
2001 J jnl
Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact.
Theor. Comput. Sci.
Salah Labhalla, Henri Lombardi, E. Moutai
2000 J jnl
New Structure Theorem for Subresultants.
J. Symb. Comput.
Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
1999 J jnl
Étude constructive de problèmes de topologie pour les réels irrationnels.
Math. Log. Q.
Mohamed Khalouani, Salah Labhalla, Henri Lombardi
1998 J jnl
Relecture constructive de la théorie d'Artin-Schreier.
Ann. Pure Appl. Log.
Henri Lombardi
1997 J jnl
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini.
RAIRO Theor. Informatics Appl.
Mohamed Hibti, Bruno Legeard, Henri Lombardi
1996 J jnl
Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux.
Theor. Comput. Sci.
Salah Labhalla, Henri Lombardi, Roger Marlin
1996 J jnl
Analyse de complexité pour un théorème de Hall sur les fractions continues.
Math. Log. Q.
Salah Labhalla, Henri Lombardi
1994 J jnl
Spécialisation de la suite de Sturm.
RAIRO Theor. Informatics Appl.
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
1993 — conf
Constraints over Homogeneous Hereditarily Finite Sets.
ICLP Workshop on Logic Programming with Sets
Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard
1993 B conf
Deciding in HFS-Theory via Linear Integer Programming.
LPAR
Mohamed Hibti, Henri Lombardi, Bruno Legeard
1993 — conf
Set-Unification from Another Point of View.
ICLP Workshop on Logic Programming with Sets
Mohamed Hibti, Henri Lombardi, Bruno Legeard
1991 J jnl
Représentations des nombres réels par développements en base entière et complexité.
Theor. Comput. Sci.
Salah Labhalla, Henri Lombardi
1990 J jnl
Real Numbers, Continued Fractions and Complexity Classes.
Ann. Pure Appl. Log.
Salah Labhalla, Henri Lombardi
1990 J jnl
Spécialisation de la suite de Sturm et sous-résulants.
RAIRO Theor. Informatics Appl.
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
1989 B conf
Sturm-Habicht Sequence.
ISSAC
Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy