Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Henri Lombardi
2010 – today
- 2010
[j27]- [j26]
- [j25]Thierry Coquand, Henri Lombardi, Claude Quitté: Curves and coherent Prüfer rings. J. Symb. Comput. 45(12): 1378-1390 (2010)
2000 – 2009
- 2009
- [j24]Thierry Coquand, Henri Lombardi, Peter Schuster: Spectral schemes as ringed lattices. Ann. Math. Artif. Intell. 56(3-4): 339-360 (2009)
- 2008
- [j23]Thierry Coquand, Henri Lombardi: A note on the axiomatisation of real numbers. Math. Log. Q. 54(3): 224-228 (2008)
- [j22]Henri Lombardi, Claude Quitté: Comparison of Picard groups in dimension 1. Math. Log. Q. 54(3): 247-252 (2008)
- [j21]Maria Emilia Alonso, Henri Lombardi, Hervé Perdry: Elementary constructive theory of Henselian local rings. Math. Log. Q. 54(3): 253-271 (2008)
- [j20]Henri Lombardi, Claude Quitté: Seminormal rings (following Thierry Coquand). Theor. Comput. Sci. 392(1-3): 113-127 (2008)
- 2006
- [j19]Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi: The Berlekamp-Massey Algorithm revisited. Appl. Algebra Eng. Commun. Comput. 17(1): 75-82 (2006)
- [j18]Henri Lombardi: Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. Ann. Pure Appl. Logic 137(1-3): 256-290 (2006)
- [j17]Thierry Coquand, Henri Lombardi: A logical approach to abstract algebra. Mathematical Structures in Computer Science 16(5): 885-900 (2006)
- [e1]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy (Eds.): Mathematics, Algorithms, Proofs, 9.-14. January 2005. Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j16]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)
- [j15]Henri Lombardi, Ihsen Yengui: Suslin's algorithms for reduction of unimodular rows. J. Symb. Comput. 39(6): 707-717 (2005)
- [j14]Gema M. Diaz-Toca, Laureano González-Vega, Henri Lombardi: Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations. SIAM J. Matrix Analysis Applications 27(3): 621-637 (2005)
- [j13]Thierry Coquand, Henri Lombardi: A Short Proof for the Krull Dimension of a Polynomial Ring. The American Mathematical Monthly 112(9): 826-829 (2005)
- [c5]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy: 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005
- [c4]Thierry Coquand, Henri Lombardi, Peter Schuster: A Nilregular Element Property. Mathematics, Algorithms, Proofs 2005
- [c3]Hervé Perdry, Mariemi Alonso, Henri Lombardi: Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs 2005
- 2001
- [j12]Michel Coste, Henri Lombardi, Marie-Françoise Roy: Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Logic 111(3): 203-256 (2001)
- [j11]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
- [j10]Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din: New Structure Theorem for Subresultants. J. Symb. Comput. 29(4-5): 663-689 (2000)
1990 – 1999
- 1999
- [j9]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
- [j8]Henri Lombardi: Relecture constructive de la théorie d'Artin-Schreier. Ann. Pure Appl. Logic 91(1): 59-92 (1998)
- 1997
- [j7]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
- [j6]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)
- [j5]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
- [j4]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
- [c2]M. Hibti, Henri Lombardi, Bruno Legeard: Deciding in HFS-Theory via Linear Integer Programming. LPAR 1993: 170-181
- 1991
- [j3]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
- [j2]Salah Labhalla, Henri Lombardi: Real Numbers, Continued Fractions and Complexity Classes. Ann. Pure Appl. Logic 50(1): 1-28 (1990)
- [j1]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)
1980 – 1989
- 1989
- [c1]L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:57 CEST by the dblp team