default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHenri Lombardi
Person information
- affiliation: University of Franche-Comté, Besançon, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[i4]Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi:
The Berlekamp-Massey Algorithm revisited. CoRR abs/2211.11721 (2022)- 2020
- [j28]Maroua Gamanda, Henri Lombardi, Stefan Neuwirth
, Ihsen Yengui:
The syzygy theorem for Bézout rings. Math. Comput. 89(322): 941-964 (2020)
2010 – 2019
- 2010
- [j27]Maria Emilia Alonso, Henri Lombardi:
Local Bézout Theorem. J. Symb. Comput. 45(10): 975-985 (2010) - [j26]Gema M. Diaz-Toca, Henri Lombardi:
Dynamic Galois Theory. J. Symb. Comput. 45(12): 1316-1329 (2010) - [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. Log. 137(1-3): 256-290 (2006) - [j17]Thierry Coquand, Henri Lombardi:
A logical approach to abstract algebra. Math. Struct. Comput. Sci. 16(5): 885-900 (2006) - [e1]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
Mathematics, Algorithms, Proofs, 9.-14. January 2005. Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j16]Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy:
Generalized Budan-Fourier theorem and virtual roots. J. Complex. 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 Anal. Appl. 27(3): 621-637 (2005) - [j13]Thierry Coquand, Henri Lombardi:
A Short Proof for the Krull Dimension of a Polynomial Ring. Am. Math. Mon. 112(9): 826-829 (2005) - [p1]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
An elementary characterisation of Krull dimension. From sets and types to topology and analysis 2005 - [i3]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005 - [i2]Thierry Coquand, Henri Lombardi, Peter Schuster:
A Nilregular Element Property. Mathematics, Algorithms, Proofs 2005 - [i1]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. Log. 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. Log. 91(1): 59-92 (1998) - 1997
- [j7]Mohamed 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. RAIRO Theor. Informatics Appl. 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. RAIRO Theor. Informatics Appl. 28(1): 1-24 (1994) - 1993
- [c4]Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Constraints over Homogeneous Hereditarily Finite Sets. ICLP Workshop on Logic Programming with Sets 1993 - [c3]Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Set-Unification from Another Point of View. ICLP Workshop on Logic Programming with Sets 1993 - [c2]Mohamed 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. Log. 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. RAIRO Theor. Informatics Appl. 24: 561-588 (1990)
1980 – 1989
- 1989
- [c1]Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy:
Sturm-Habicht Sequence. ISSAC 1989: 136-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
