Coquand, Thierry; Lombardi, Henri Constructions cachées en algèbre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008). arXiv:1712.04728 Preprint, arXiv:1712.04728 [math.AC] (2017). MSC: 13C15 03F65 13A15 13E05 × Cite Format Result Cite Full Text: arXiv OA License
Coquand, Thierry; Lombardi, Henri Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down. arXiv:1712.04725 Preprint, arXiv:1712.04725 [math.AC] (2017). MSC: 13C15 03F65 13A15 13E05 × Cite Format Result Cite Full Text: arXiv OA License
Coquand, Thierry; Ducos, Lionel; Lombardi, Henri; Quitté, Claude Constructive Krull dimension. I: Integral extensions. (English) Zbl 1172.13007 J. Algebra Appl. 8, No. 1, 129-138 (2009). Reviewer: Radoslav M. Dimitrić (Uniontown) MSC: 13C15 03F65 13A15 13E05 × Cite Format Result Cite Review PDF Full Text: DOI
Coquand, Thierry; Lombardi, Henri; Quitté, Claude Heitmann dimension of distributive lattices and commutative rings. (Dimension de Heitmann des treillis distributifs et des anneaux commutatifs.) (French. English summary) Zbl 1158.13308 Algèbre et théorie des nombres. Années 2003–2006. Besançon: Laboratoire de Mathématiques de Besançon. Publications Mathématiques de l’Université de Franche-Comté Besançon. Algèbre et Théorie des Nombres 2003-2006, 57-100 (2006). Reviewer: Dorin-Mihail Popescu (Bucureşti) MSC: 13C15 03F65 13A15 13E05 × Cite Format Result Cite Review PDF Full Text: arXiv Link