Pré-publications

Henri LOMBARDI

Les titres en rouge sont des liens vers des fichiers postscript ou pdf. Les titres en bleu sont juste des titres. Les bleus soulignés sont des fichiers html directement visibles en cliquant dessus.

Constructive Remarks on Azumaya Algebra. (arXiv 2306.17679)
with Thierry Coquand and Stefan Neuwirth.
preprint (2023).
Abstract
Constructive basic theory of central simple algebras. pdf file, arXiv/2102.12775
with Thierry Coquand and Stefan Neuwirth
preprint (2021).
Abstract