dblp.uni-trier.dewww.uni-trier.de

Henri Lombardi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
27EEThierry Coquand, Henri Lombardi: A note on the axiomatisation of real numbers. Math. Log. Q. 54(3): 224-228 (2008)
26EEHenri Lombardi, Claude Quitté: Comparison of Picard groups in dimension 1. Math. Log. Q. 54(3): 247-252 (2008)
25EEMaria Emilia Alonso, Henri Lombardi, Hervé Perdry: Elementary constructive theory of Henselian local rings. Math. Log. Q. 54(3): 253-271 (2008)
24EEHenri 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
22EEHenri Lombardi: Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. Ann. Pure Appl. Logic 137(1-3): 256-290 (2006)
21EENadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi: The Berlekamp-Massey Algorithm revisited. Appl. Algebra Eng. Commun. Comput. 17(1): 75-82 (2006)
20EEThierry Coquand, Henri Lombardi: A logical approach to abstract algebra. Mathematical Structures in Computer Science 16(5): 885-900 (2006)
2005
19EEThierry Coquand, Henri Lombardi, Marie-Françoise Roy: 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005
18EEThierry Coquand, Henri Lombardi, Peter Schuster: A Nilregular Element Property. Mathematics, Algorithms, Proofs 2005
17EEHervé Perdry, Mariemi Alonso, Henri Lombardi: Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs 2005
16EEMichel 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)
15EEHenri 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)
13EESalah 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)
7EESalah 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
5EEM. 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
1EEL. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)