nLab Henri Lombardi

• personal page

• MathGenealogy page

• ResearchGate page

Selected writings

• Henri Lombardi, Assia Mahboubi, Théories géométriques pour l’algèbre des nombres réels sans test de signe ni axiome de choix dépendant (arXiv:2406.15218)

On commutative algebra via constructive mathematics:

• Henri Lombardi, Claude Quitté (trans. by Tania K. Roblo): Commutative algebra: Constructive methods — Finite projective modules, Springer (2015) [doi:10.1007/978-94-017-9944-7, pdf]

category: people