pith. sign in

Henri Lombardi

Identifiers

  • name variant Henri Lombardi 0.60 · backfill

Papers (12)

  1. Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg math.HO · 2019 · author #1
  2. R\'esolutions libres finies. M\'ethodes constructives math.AC · 2018 · author #2
  3. Modules projectifs de type fini, applications lin\'eaires crois\'ees et inverses g\'en\'eralis\'es math.AC · 2018 · author #3
  4. Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings math.AC · 2017 · author #2
  5. Constructions cach\'ees en alg\`ebre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008) math.AC · 2017 · author #2
  6. Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down math.AC · 2017 · author #2
  7. Lattice-ordered groups generated by an ordered group and regular systems of ideals math.LO · 2017 · author #2
  8. Alg\`ebre commutative M\'ethodes constructives math.AC · 2016 · author #1
  9. M\'ethodes Matricielles Introduction \`a la Complexit\'e Alg\'ebrique math.AC · 2016 · author #2
  10. Local B\'ezout Theorem for Henselian rings math.AC · 2015 · author #2
  11. Calcul matriciel g\'en\'eralis\'e sur les domaines de Pr\"ufer math.AC · 2015 · author #2
  12. An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem math.AG · 2014 · author #1

Mentions

  • 1508.00345 #2 · backfill · confidence 0.70 Henri Lombardi
  • 1404.2338 #1 · backfill · confidence 0.70 Henri Lombardi

Frequent Coauthors