2 code implementations • 4 Feb 2021 • Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory.
Logic in Computer Science Number Theory 68V20, 68V15, 11R29
