Gaussian integers
type: Item
instance of: scholarly article
title: Gaussian integers
zbMATH Open document ID: 1298.11009
author: Yuichi Futa
author: Hiroyuki Okazaki
author: Daichi Mizushima
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 11A67
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365895
zbMATH Keywords: formalization of Gaussian integers
zbMATH Keywords: algebraic integers
MaRDI profile type: Publication
full work available at URL: forma-2013-0013
OpenAlex ID: W4214531226
cites work: Set of points on elliptic curve in projective coordinates
cites work: \(\mathbb Z\)-modules
cites work: Q5203581
cites work: Q4190689
DOI: 10.2478/FORMA-2013-0013
description: scientific article; zbMATH DE number 6365895