Curves and coherent Prüfer rings

DOI10.1016/J.JSC.2010.06.016zbMath1203.13020OpenAlexW2091920640MaRDI QIDQ607061

Claude Quitté, Thierry Coquand, Henri Lombardi

Publication date: 19 November 2010

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.06.016

zbMATH Keywords

constructive mathematicsPrüfer ringsemihereditary ringsmooth curvegeneralized Hasse derivativespp-ring

Mathematics Subject Classification ID

Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Related Items (1)

Valuative Lattices and Spectra

Cites Work

• Unnamed Item
• A course in constructive algebra
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS

This page was built for publication: Curves and coherent Prüfer rings