Gaussian_Integers

MaRDI QIDQ5973395swMATHFDO

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

Cited in

(4)

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

This page was built for software: Gaussian_Integers