Gaussian_Integers

MaRDI QIDQ5973395swMATHFDO

Authors Manuel Eberl

Publication date 24 April 2020

Official website https://www.isa-afp.org/entries/Gaussian_Integers.html

Cited in

(4)

• KANT/KASH
• A formalization of Dedekind domains and class groups of global fields
• Algebraic Numbers
• Minkowskis_Theorem

This page was built for software: Gaussian_Integers