- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j27 |      | |
| j26 | | |
| j25 | | Thierry Coquand, Henri Lombardi, Claude Quitté: Curves and coherent Prüfer rings. J. Symb. Comput. 45(12): 1378-1390 (2010) |
| 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) |
| 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) |
| 1989 | ||
| c1 | | L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146 |
Colors in the list of coauthors
Last update Sat May 25 23:26:44 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page