A formalization of Dedekind domains and class groups of global fields

DOI10.1007/S10817-022-09644-0zbMath1524.68428arXiv2102.02600MaRDI QIDQ6359836

Filippo A. E. Nuccio Mortarino Majno di Capriglio, Ashvni Narayanan, Anne Baanen, Sander R. Dahmen

Publication date: 4 February 2021

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Class groups (13C20) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: A formalization of Dedekind domains and class groups of global fields