Henri Lombardi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2020

The syzygy theorem for Bézout ringsMaroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui. moc, 89(322):941-964, 2020. [doi]

2010

Local Bézout TheoremMaria Emilia Alonso, Henri Lombardi. JSC, 45(10):975-985, 2010. [doi]

Curves and coherent Prüfer ringsThierry Coquand, Henri Lombardi, Claude Quitté. JSC, 45(12):1378-1390, 2010. [doi]

Dynamic Galois TheoryGema M. Diaz-Toca, Henri Lombardi. JSC, 45(12):1316-1329, 2010. [doi]

2009

Spectral schemes as ringed latticesThierry Coquand, Henri Lombardi, Peter Schuster. AMAI, 56(3-4):339-360, 2009. [doi]

2008

Elementary constructive theory of Henselian local ringsMaria Emilia Alonso, Henri Lombardi, Hervé Perdry. mlq, 54(3):253-271, 2008. [doi]

A note on the axiomatisation of real numbersThierry Coquand, Henri Lombardi. mlq, 54(3):224-228, 2008. [doi]

Comparison of Picard groups in dimension 1Henri Lombardi, Claude Quitté. mlq, 54(3):247-252, 2008. [doi]

Seminormal rings (following Thierry Coquand)Henri Lombardi, Claude Quitté. TCS, 392(1-3):113-127, 2008. [doi]

2006

The Berlekamp-Massey Algorithm revisitedNadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi. aaecc, 17(1):75-82, 2006. [doi]

A logical approach to abstract algebraThierry Coquand, Henri Lombardi. mscs, 16(5):885-900, 2006. [doi]

Structures algébriques dynamiques, espaces topologiques sans points et programme de HilbertHenri Lombardi. APAL, 137(1-3):256-290, 2006. [doi]

2005

A Nilregular Element PropertyThierry Coquand, Henri Lombardi, Peter Schuster. Dagstuhl 2006: [doi]

05021 Abstracts Collection -- Mathematics, Algorithms, ProofsThierry Coquand, Henri Lombardi, Marie-Françoise Roy. Dagstuhl 2006: [doi]

A Short Proof for the Krull Dimension of a Polynomial RingThierry Coquand, Henri Lombardi. tamm, 112(9):826-829, 2005. [doi]

An elementary characterisation of Krull dimensionThierry Coquand, Henri Lombardi, Marie-Françoise Roy. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Generalized Budan-Fourier theorem and virtual rootsMichel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy. jc, 21(4):479-486, 2005. [doi]

Generalizing Cramer s Rule: Solving Uniformly Linear Systems of EquationsGema M. Diaz-Toca, Laureano González-Vega, Henri Lombardi. siammax, 27(3):621-637, 2005. [doi]

Suslin s algorithms for reduction of unimodular rowsHenri Lombardi, Ihsen Yengui. JSC, 39(6):707-717, 2005. [doi]

Henselian Local Rings: Around a Work in ProgressHervé Perdry, Mariemi Alonso, Henri Lombardi. Dagstuhl 2006: [doi]

2001

Dynamical method in algebra: effective NullstellensätzeMichel Coste, Henri Lombardi, Marie-Françoise Roy. APAL, 111(3):203-256, 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 compactSalah Labhalla, Henri Lombardi, E. Moutai. TCS, 250(1-2):265-332, 2001. [doi]

2000

New Structure Theorem for SubresultantsHenri Lombardi, Marie-Françoise Roy, Mohab Safey El Din. JSC, 29(4-5):663-689, 2000.

1999

Étude constructive de problèmes de topologie pour les réels irrationnelsMohamed Khalouani, Salah Labhalla, Henri Lombardi. mlq, 45:257-288, 1999.

1998

Relecture constructive de la théorie d Artin-SchreierHenri Lombardi. APAL, 91(1):59-92, 1998.

1997

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement finiM. Hibti, Bruno Legeard, Henri Lombardi. ita, 31(3):205-236, 1997.

1996

Analyse de complexité pour un théorème de Hall sur les fractions continuesSalah Labhalla, Henri Lombardi. mlq, 42:134-144, 1996.

Algorithmes de calcul de la réduction de Hermite d une matrice à coefficients polynomiauxSalah Labhalla, Henri Lombardi, Roger Marlin. TCS, 161(1&2):69-92, 1996. [doi]

1994

Spécialisation de la suite de SturmLaureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy. ita, 28(1):1-24, 1994.

1993

Constraints over Homogeneous Hereditarily Finite SetsFabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard. ICLP 1993:

Set-Unification from Another Point of ViewMohamed Hibti, Henri Lombardi, Bruno Legeard. ICLP 1993:

Deciding in HFS-Theory via Linear Integer ProgrammingM. Hibti, Henri Lombardi, Bruno Legeard. lpar 1993: 170-181

1991

Représentations des nombres réels par développements en base entière et complexitéSalah Labhalla, Henri Lombardi. TCS, 88(1):171-182, 1991.

1990

Spécialisation de la suite de Sturm et sous-résulantsLaureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy. ita, 24:561, 1990.

Real Numbers, Continued Fractions and Complexity ClassesSalah Labhalla, Henri Lombardi. APAL, 50(1):1-28, 1990.

1989

Sturm-Habicht SequenceL. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy. issac 1989: 136-146 [doi]

Sign in or sign up to see more results.

runs on WebDSL