Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio. A Formalization of Dedekind Domains and Class Groups of Global Fields. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
@inproceedings{BaanenDNC21,
title = {A Formalization of Dedekind Domains and Class Groups of Global Fields},
author = {Anne Baanen and Sander R. Dahmen and Ashvni Narayanan and Filippo A. E. Nuccio Mortarino Majno di Capriglio},
year = {2021},
doi = {10.4230/LIPIcs.ITP.2021.5},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.5},
researchr = {https://researchr.org/publication/BaanenDNC21},
cites = {0},
citedby = {0},
booktitle = {12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
editor = {Liron Cohen 0001 and Cezary Kaliszyk},
volume = {193},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-188-7},
}