Henri Lombardi

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 2

Top Topics

Experimental Study

Clustering Method

Top Venues

Publications

Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi
The Berlekamp-Massey Algorithm revisited. CoRR (2022)
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui
The syzygy theorem for Bézout rings. Math. Comput. 89 (322) (2020)
Maria Emilia Alonso, Henri Lombardi
Local Bézout Theorem. J. Symb. Comput. 45 (10) (2010)
Gema M. Diaz-Toca, Henri Lombardi
Dynamic Galois Theory. J. Symb. Comput. 45 (12) (2010)
Thierry Coquand, Henri Lombardi, Claude Quitté
Curves and coherent Prüfer rings. J. Symb. Comput. 45 (12) (2010)
Thierry Coquand, Henri Lombardi, Peter Schuster
Spectral schemes as ringed lattices. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Henri Lombardi, Claude Quitté
Seminormal rings (following Thierry Coquand). Theor. Comput. Sci. 392 (1-3) (2008)
Thierry Coquand, Henri Lombardi
A note on the axiomatisation of real numbers. Math. Log. Q. 54 (3) (2008)
Henri Lombardi, Claude Quitté
Comparison of Picard groups in dimension 1. Math. Log. Q. 54 (3) (2008)
Maria Emilia Alonso, Henri Lombardi, Hervé Perdry
Elementary constructive theory of Henselian local rings. Math. Log. Q. 54 (3) (2008)
Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi
The Berlekamp-Massey Algorithm revisited. Appl. Algebra Eng. Commun. Comput. 17 (1) (2006)
Thierry Coquand, Henri Lombardi
A logical approach to abstract algebra. Math. Struct. Comput. Sci. 16 (5) (2006)
Henri Lombardi
Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. Ann. Pure Appl. Log. 137 (1-3) (2006)
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs (2005)
Thierry Coquand, Henri Lombardi, Peter Schuster
A Nilregular Element Property. Mathematics, Algorithms, Proofs (2005)
Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy
Generalized Budan-Fourier theorem and virtual roots. J. Complex. 21 (4) (2005)
Henri Lombardi, Ihsen Yengui
Suslin's algorithms for reduction of unimodular rows. J. Symb. Comput. 39 (6) (2005)
Hervé Perdry, Mariemi Alonso, Henri Lombardi
Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs (2005)
Thierry Coquand, Henri Lombardi
A Short Proof for the Krull Dimension of a Polynomial Ring. Am. Math. Mon. 112 (9) (2005)
Gema M. Diaz-Toca, Laureano González-Vega, Henri Lombardi
Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations. SIAM J. Matrix Anal. Appl. 27 (3) (2005)
Salah Labhalla, Henri Lombardi, E. Moutai
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. 250 (1-2) (2001)
Michel Coste, Henri Lombardi, Marie-Françoise Roy
Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Log. 111 (3) (2001)
Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
New Structure Theorem for Subresultants. J. Symb. Comput. 29 (4-5) (2000)
Mohamed Khalouani, Salah Labhalla, Henri Lombardi
Étude constructive de problèmes de topologie pour les réels irrationnels. Math. Log. Q. 45 (1999)
Henri Lombardi
Relecture constructive de la théorie d'Artin-Schreier. Ann. Pure Appl. Log. 91 (1) (1998)
Mohamed Hibti, Bruno Legeard, Henri Lombardi
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. RAIRO Theor. Informatics Appl. 31 (3) (1997)
Salah Labhalla, Henri Lombardi, Roger Marlin
Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux. Theor. Comput. Sci. 161 (1&2) (1996)
Salah Labhalla, Henri Lombardi
Analyse de complexité pour un théorème de Hall sur les fractions continues. Math. Log. Q. 42 (1996)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm. RAIRO Theor. Informatics Appl. 28 (1) (1994)
Mohamed Hibti, Henri Lombardi, Bruno Legeard
Set-Unification from Another Point of View. ICLP Workshop on Logic Programming with Sets (1993)
Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard
Constraints over Homogeneous Hereditarily Finite Sets. ICLP Workshop on Logic Programming with Sets (1993)
Mohamed Hibti, Henri Lombardi, Bruno Legeard
Deciding in HFS-Theory via Linear Integer Programming. LPAR (1993)
Salah Labhalla, Henri Lombardi
Représentations des nombres réels par développements en base entière et complexité. Theor. Comput. Sci. 88 (1) (1991)
Salah Labhalla, Henri Lombardi
Real Numbers, Continued Fractions and Complexity Classes. Ann. Pure Appl. Log. 50 (1) (1990)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm et sous-résulants. RAIRO Theor. Informatics Appl. 24 (1990)
L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Sturm-Habicht Sequence. ISSAC (1989)