H. Lombardi
发表
Marie-Françoise Roy,
L. González-Vega,
T. Recio,
1998
.
Marie-Françoise Roy,
T. Coquand,
H. Lombardi,
2006
.
H. Lombardi,
2018,
Springer Proceedings in Mathematics & Statistics.
H. Lombardi,
Claude Quitt'e,
2016,
1611.02942.
H. Lombardi,
Claude Quitt'e,
2015,
1605.04832.
H. Lombardi,
2002
.
T. Coquand,
H. Lombardi,
2017,
1801.00097.
T. Coquand,
H. Lombardi,
C. Quitté,
2004
.
Marie-Françoise Roy,
T. Coquand,
H. Lombardi,
2005
.
H. Lombardi,
I. Yengui,
Afef Ellouz,
2008
.
H. Lombardi,
I. Yengui,
C. Quitté,
2008
.
T. Coquand,
H. Lombardi,
Stefan Neuwirth,
2017,
Rocky Mountain Journal of Mathematics.
I. Emiris,
A. Galligo,
H. Lombardi,
1997
.
H. Lombardi,
2015
.
L. González-Vega,
H. Lombardi,
Louis Mah'e,
1998,
1712.01952.
H. Lombardi,
2007
.
Thierry Coquand,
Henri Lombardi,
T. Coquand,
2008,
Math. Log. Q..
H. Lombardi,
I. Yengui,
Afef Ellouz,
2007
.
H. Lombardi,
Claude Quitt'e,
2015,
1605.04832.
H. Lombardi,
Stefan Neuwirth,
2017,
1708.05171.
H. Lombardi,
M. Alonso,
2015,
1512.04306.
Michel Coste,
Marie-Françoise Roy,
Henri Lombardi,
2001,
Ann. Pure Appl. Log..
T. Coquand,
H. Lombardi,
2017,
1712.04725.
H. Lombardi,
I. Yengui,
C. Quitté,
2006
.
T. Coquand,
H. Lombardi,
Stefan Neuwirth,
2019,
Paul Lorenzen -- Mathematician and Logician.
H. Lombardi,
M. Alonso,
2022,
2202.05504.
T. Coquand,
H. Lombardi,
C. Quitté,
2004
.
H. Lombardi,
2019,
1903.04200.
Phan Thanh Toan,
V. Ponomarenko,
H. Lombardi,
2010
.
T. Coquand,
H. Lombardi,
M. Alonso,
2014
.
H. Lombardi,
I. Yengui,
S. Barhoumi,
2009
.
Henri Lombardi,
Claude Quitté,
H. Lombardi,
2008,
Theor. Comput. Sci..
Henri Lombardi,
Daniel Perrucci,
Marie-Françoise Roy,
2014,
Memoirs of the American Mathematical
Society.
Laureano González-Vega,
Gema María Díaz-Toca,
Henri Lombardi,
2005,
SIAM J. Matrix Anal. Appl..
Thierry Coquand,
Peter Schuster,
Henri Lombardi,
2009,
Annals of Mathematics and Artificial Intelligence.
Thierry Coquand,
Peter Schuster,
Henri Lombardi,
2007
.
André Galligo,
Ioannis Z. Emiris,
Henri Lombardi,
1996
.
André Galligo,
Henri Lombardi,
Laureano González Vega,
2003
.
Tomás Recio,
Marie-Françoise Roy,
Henri Lombardi,
1989,
ISSAC '89.
Henri Lombardi,
H. Lombardi,
1991
.
H. Lombardi,
2023,
2308.09371.
H. Lombardi,
M. Alonso,
2016,
Collectanea Mathematica.
L. González-Vega,
H. Lombardi,
1997
.
L. González-Vega,
H. Lombardi,
1993
.
Marie-Françoise Roy,
Henri Lombardi,
Nikolai Mnev,
1996
.
Charles N. Delzell,
Henri Lombardi,
Laureano Gonzalez-Vega,
1993
.
Mohab Safey El Din,
Marie-Françoise Roy,
Henri Lombardi,
2000,
J. Symb. Comput..
Henri Lombardi,
Salah Labhalla,
H. Lombardi,
1991
.
P. Schuster,
H. Lombardi,
Claude Quitté,
2008
.
T. Coquand,
H. Lombardi,
S. Neuwirth,
2022,
2201.04352.
Bruno Legeard,
Mohamed Hibti,
Henri Lombardi,
1993,
LPAR.
H. Lombardi,
Claude Quitté,
2008,
Math. Log. Q..
P. Schuster,
H. Lombardi,
I. Yengui,
2012
.