Gaussian integers

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

zbMATH Keywords

algebraic integersformalization of Gaussian integers

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Set of Points on Elliptic Curve in Projective Coordinates
• Z-modules

This page was built for publication: Gaussian integers