24
Publications
747
Citations
16
H-Index
1989
Active since
Henri Lombardi is an author at Université de franche-comté specializing in engineering, discrete mathematics, and computational complexity.
Top concepts
EngineeringSpectral TheoryDiscrete MathematicsComputational ComplexityMathematical ProgrammingApproximation TheoryEducationData ScienceBiostatisticsComputer Science
Publications per year
1989–2020
24
24
L. Gaonzalez, Henri Lombardi, Tomás Recio et al. · 1989 · 82 citations
A logical approach to abstract algebra
Thierry Coquand, Henri Lombardi · Mathematical Structures in Computer Science · 2006 · 41 citations · Full text
Rows per page
1–5 of 24