36 citations · 143 across the 40 of their papers we have counts for
7 papers · 1 filter
Heitmann dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi, Claude Quitté
This paper is the English translation of the first 4 sections of the article ``Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématique…
Azumaya algebras and Barr Theorem
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivale…
Some remarks about normal rings
Henri Lombardi, Thierry Coquand
We give a constructive proof that is normal when is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is base…
Résolutions libres finies. Méthodes constructives
Thierry Coquand, Henri Lombardi, Claude Quitté +1
In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster…
Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Españ…
Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down
Thierry Coquand, Henri Lombardi
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan…
Dynamic Newton-Puiseux Theorem
Bassel Mannaa, Thierry Coquand
A constructive version of Newton-Puiseux theorem for computing the Puiseux expansions of algebraic curves is presented. The proof is based on a classical proof by Abhyankar. Algebr…