A formalization of Dedekind domains and class groups of global fields

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

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'A formalization of Dedekind domains and class groups of global fields'. Together they form a unique fingerprint.

Mathematics

Computer Science