Alg\ebre commutative M\'ethodes constructives
H Lombardi, C Quitté - arXiv preprint arXiv:1611.02942, 2016 - arxiv.org
This book is an introductory course to basic commutative algebra with a particular emphasis
on finitely generated projective modules, which constitutes the algebraic version of the …
on finitely generated projective modules, which constitutes the algebraic version of the …
Geometric theories for real number algebra without sign test or dependent choice axiom
H Lombardi, A Mahboubi - arXiv preprint arXiv:2408.10290, 2024 - arxiv.org
In this memoir, we seek to construct a constructive theory that is as complete as possible to
describe the algebraic properties of the real number field in constructive mathematics …
describe the algebraic properties of the real number field in constructive mathematics …
Th\'eories g\'eom\'etriques pour l'alg\ebre des nombres r\'eels sans test de signe ni axiome de choix d\'ependant
H Lombardi, A Mahboubi - arXiv preprint arXiv:2406.15218, 2024 - arxiv.org
In this memoir, we seek to construct a dynamical theory as complete as possible to describe
the algebraic properties of the field of real numbers in constructive mathematics without …
the algebraic properties of the field of real numbers in constructive mathematics without …
[HTML][HTML] Revisiting Zariski Main Theorem from a constructive point of view
ME Alonso, T Coquand, H Lombardi - Journal of Algebra, 2014 - Elsevier
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and
discusses some applications. It is written in the style of Bishop's constructive mathematics …
discusses some applications. It is written in the style of Bishop's constructive mathematics …
Constructive Remarks on Azumaya Algebra
T Coquand, H Lombardi, S Neuwirth - arXiv preprint arXiv:2306.17679, 2023 - arxiv.org
arXiv:2306.17679v1 [math.AC] 30 Jun 2023 Page 1 arXiv:2306.17679v1 [math.AC] 30 Jun
2023 Constructive remarks on Azumaya algebras Thierry Coquand Computer Science and …
2023 Constructive remarks on Azumaya algebras Thierry Coquand Computer Science and …
Álgebras finitas sobre un cuerpo: la recta proyectiva
CI Granados Pinzón - 2015 - uvadoc.uva.es
La tesis se divide en tres capítulos. En el primer capítulo presentamos algunos resultados
relacionados con los anillos totales de cocientes, beta-anillos y anillos de Hermite …
relacionados con los anillos totales de cocientes, beta-anillos y anillos de Hermite …
Multivariate Hensel Lemma for ultrametric fields
ME Alonso - arXiv preprint arXiv:2301.06546, 2023 - arxiv.org
The Multivariate Hensel Lemma for local rings is usually proved as a consequence of the
Grothendieck version of Zariski's Main Theorem. This version deals with a more general …
Grothendieck version of Zariski's Main Theorem. This version deals with a more general …
Revisiting Zariski main theorem from a constructive point of view
AM Emilia, C Thierry, L Henri - arXiv preprint arXiv:1602.00597, 2016 - arxiv.org
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and
discusses some applications. It is written in the style of Bishop's constructive mathematics …
discusses some applications. It is written in the style of Bishop's constructive mathematics …
On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case
MEA García, H Lombardi, S Neuwirth - Journal of Algebra, 2021 - Elsevier
Let R be a local domain, va valuation of its quotient field centred in R at its maximal ideal.
We investigate the relationship between R h, the henselisation of R as local ring, and v˜, the …
We investigate the relationship between R h, the henselisation of R as local ring, and v˜, the …
\A propos d'un th\'eor\eme de de Felipe et Teissier sur la comparaison de deux hens\'elis\'es dans le cas non noeth\'erien
ME Alonso, H Lombardi, S Neuwirth - arXiv preprint arXiv:2005.00422, 2020 - arxiv.org
This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper"
Valuations and henselization"(arXiv: 1903.10793 v1), to appear in Math. Annalen. The …
Valuations and henselization"(arXiv: 1903.10793 v1), to appear in Math. Annalen. The …