Henri Lombardi

According to our database, Henri Lombardi authored at least 36 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

The syzygy theorem for Bézout rings.

Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui

Math. Comput., 2020

2010

Dynamic Galois Theory.

Gema M. Diaz-Toca, Henri Lombardi

J. Symb. Comput., 2010

Curves and coherent Prüfer rings.

Thierry Coquand, Henri Lombardi, Claude Quitté

J. Symb. Comput., 2010

Local Bézout Theorem.

Maria Emilia Alonso, Henri Lombardi

J. Symb. Comput., 2010

2009

Spectral schemes as ringed lattices.

Thierry Coquand, Henri Lombardi, Peter Schuster

Ann. Math. Artif. Intell., 2009

2008

Seminormal rings (following Thierry Coquand).

Henri Lombardi, Claude Quitté

Theor. Comput. Sci., 2008

Comparison of Picard groups in dimension 1.

Henri Lombardi, Claude Quitté

Math. Log. Q., 2008

A note on the axiomatisation of real numbers.

Thierry Coquand, Henri Lombardi

Math. Log. Q., 2008

Elementary constructive theory of Henselian local rings.

Maria Emilia Alonso, Henri Lombardi, Hervé Perdry

Math. Log. Q., 2008

2006

A logical approach to abstract algebra.

Thierry Coquand, Henri Lombardi

Math. Struct. Comput. Sci., 2006

Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert.

Henri Lombardi

Ann. Pure Appl. Log., 2006

The Berlekamp-Massey Algorithm revisited.

Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi

Appl. Algebra Eng. Commun. Comput., 2006

2005

A Short Proof for the Krull Dimension of a Polynomial Ring.

Thierry Coquand, Henri Lombardi

Am. Math. Mon., 2005

Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations.

Gema M. Diaz-Toca, Laureano González-Vega, Henri Lombardi

SIAM J. Matrix Anal. Appl., 2005

Suslin's algorithms for reduction of unimodular rows.

Henri Lombardi, Ihsen Yengui

J. Symb. Comput., 2005

Generalized Budan-Fourier theorem and virtual roots.

Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy

J. Complex., 2005

Henselian Local Rings: Around a Work in Progress.

Hervé Perdry, Mariemi Alonso, Henri Lombardi

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

A Nilregular Element Property.

Thierry Coquand, Henri Lombardi, Peter Schuster

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.

Thierry Coquand, Henri Lombardi, Marie-Françoise Roy

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

An elementary characterisation of Krull dimension.

Thierry Coquand, Henri Lombardi, Marie-Françoise Roy

Proceedings of the From sets and types to topology and analysis, 2005

2001

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.

Salah Labhalla, Henri Lombardi, E. Moutai

Theor. Comput. Sci., 2001

Dynamical method in algebra: effective Nullstellensätze.

Michel Coste, Henri Lombardi, Marie-Françoise Roy

Ann. Pure Appl. Log., 2001

2000

New Structure Theorem for Subresultants.

Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din

J. Symb. Comput., 2000

1999

Étude constructive de problèmes de topologie pour les réels irrationnels.

Mohamed Khalouani, Salah Labhalla, Henri Lombardi

Math. Log. Q., 1999

1998

Relecture constructive de la théorie d'Artin-Schreier.

Henri Lombardi

Ann. Pure Appl. Log., 1998

1997

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini.

Mohamed Hibti, Bruno Legeard, Henri Lombardi

RAIRO Theor. Informatics Appl., 1997

1996

Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux.

Salah Labhalla, Henri Lombardi, Roger Marlin

Theor. Comput. Sci., 1996

Analyse de complexité pour un théorème de Hall sur les fractions continues.

Salah Labhalla, Henri Lombardi

Math. Log. Q., 1996

1994

Spécialisation de la suite de Sturm.

Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy

RAIRO Theor. Informatics Appl., 1994

1993

Deciding in HFS-Theory via Linear Integer Programming.

Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Set-Unification from Another Point of View.

Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Workshop on Logic Programming with Sets, 1993

Constraints over Homogeneous Hereditarily Finite Sets.

Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Workshop on Logic Programming with Sets, 1993

1991

Représentations des nombres réels par développements en base entière et complexité.

Salah Labhalla, Henri Lombardi

Theor. Comput. Sci., 1991

1990

Spécialisation de la suite de Sturm et sous-résulants.

Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy

RAIRO Theor. Informatics Appl., 1990

Real Numbers, Continued Fractions and Complexity Classes.

Salah Labhalla, Henri Lombardi

Ann. Pure Appl. Log., 1990

1989

Sturm-Habicht Sequence.

Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989