Henri Lombardi

2008
27	EE	Thierry Coquand, Henri Lombardi: A note on the axiomatisation of real numbers. Math. Log. Q. 54(3): 224-228 (2008)
26	EE	Henri Lombardi, Claude Quitté: Comparison of Picard groups in dimension 1. Math. Log. Q. 54(3): 247-252 (2008)
25	EE	Maria Emilia Alonso, Henri Lombardi, Hervé Perdry: Elementary constructive theory of Henselian local rings. Math. Log. Q. 54(3): 253-271 (2008)
24	EE	Henri Lombardi, Claude Quitté: Seminormal rings (following Thierry Coquand). Theor. Comput. Sci. 392(1-3): 113-127 (2008)
2006
23		Thierry Coquand, Henri Lombardi, Marie-Françoise Roy: Mathematics, Algorithms, Proofs, 9.-14. January 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
22	EE	Henri Lombardi: Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. Ann. Pure Appl. Logic 137(1-3): 256-290 (2006)
21	EE	Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi: The Berlekamp-Massey Algorithm revisited. Appl. Algebra Eng. Commun. Comput. 17(1): 75-82 (2006)
20	EE	Thierry Coquand, Henri Lombardi: A logical approach to abstract algebra. Mathematical Structures in Computer Science 16(5): 885-900 (2006)
2005
19	EE	Thierry Coquand, Henri Lombardi, Marie-Françoise Roy: 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005
18	EE	Thierry Coquand, Henri Lombardi, Peter Schuster: A Nilregular Element Property. Mathematics, Algorithms, Proofs 2005
17	EE	Hervé Perdry, Mariemi Alonso, Henri Lombardi: Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs 2005
16	EE	Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy: Generalized Budan-Fourier theorem and virtual roots. J. Complexity 21(4): 479-486 (2005)
15	EE	Henri Lombardi, Ihsen Yengui: Suslin's algorithms for reduction of unimodular rows. J. Symb. Comput. 39(6): 707-717 (2005)
2001
14		Michel Coste, Henri Lombardi, Marie-Françoise Roy: Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Logic 111(3): 203-256 (2001)
13	EE	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): 265-332 (2001)
2000
12		Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din: New Structure Theorem for Subresultants. J. Symb. Comput. 29(4-5): 663-689 (2000)
1999
11		Mohamed Khalouani, Salah Labhalla, Henri Lombardi: Étude constructive de problèmes de topologie pour les réels irrationnels. Math. Log. Q. 45: 257-288 (1999)
1998
10		Henri Lombardi: Relecture constructive de la théorie d'Artin-Schreier. Ann. Pure Appl. Logic 91(1): 59-92 (1998)
1997
9		M. 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. ITA 31(3): 205-236 (1997)
1996
8		Salah Labhalla, Henri Lombardi: Analyse de complexité pour un théorème de Hall sur les fractions continues. Math. Log. Q. 42: 134-144 (1996)
7	EE	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): 69-92 (1996)
1994
6		Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm. ITA 28(1): 1-24 (1994)
1993
5		M. Hibti, Henri Lombardi, Bruno Legeard: Deciding in HFS-Theory via Linear Integer Programming. LPAR 1993: 170-181
1991
4		Salah Labhalla, Henri Lombardi: Représentations des nombres réels par développements en base entière et complexité. Theor. Comput. Sci. 88(1): 171-182 (1991)
1990
3		Salah Labhalla, Henri Lombardi: Real Numbers, Continued Fractions and Complexity Classes. Ann. Pure Appl. Logic 50(1): 1-28 (1990)
2		Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm et sous-résulants. ITA 24: 561- (1990)
1989
1	EE	L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146

Coauthor Index

1	Maria Emilia Alonso	[25]
2	Mariemi Alonso	[17]
3	Nadia Ben Atti	[21]
4	Thierry Coquand	[18] [19] [20] [23] [27]
5	Michel Coste	[14] [16]
6	Gema M. Diaz-Toca	[21]
7	Mohab Safey El Din	[12]
8	L. Gonzalez	[1]
9	Laureano González-Vega	[2] [6]
10	M. Hibti	[5] [9]
11	Mohamed Khalouani	[11]
12	Salah Labhalla	[3] [4] [7] [8] [11] [13]
13	Tomás Lajous-Loaeza	[16]
14	Bruno Legeard	[5] [9]
15	Roger Marlin	[7]
16	E. Moutai	[13]
17	Hervé Perdry	[17] [25]
18	Claude Quitté	[24] [26]
19	Tomás Recio	[1] [2] [6]
20	Marie-Françoise Roy	[1] [2] [6] [12] [14] [16] [19] [23]
21	Peter Schuster	[18]
22	Ihsen Yengui	[15]

Colors in the list of coauthors