Gaussian integers
From MaRDI portal
Publication:467782
DOI10.2478/forma-2013-0013zbMath1298.11009OpenAlexW4214531226MaRDI QIDQ467782
Daichi Mizushima, Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0013
Mechanization of proofs and logical operations (03B35) Algebraic numbers; rings of algebraic integers (11R04) Other number representations (11A67)
Related Items (5)
Torsion part of \(\mathbb{Z}\)-module ⋮ Characteristic of rings. Prime fields ⋮ Prime representing polynomial ⋮ Submodule of free \(\mathbb Z\)-module ⋮ Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
Cites Work
This page was built for publication: Gaussian integers