An Elementary Proof of the Minimal Euclidean Function on the Gaussian Integers

Hester Graves

Every Euclidean domain $R$ has a minimal Euclidean function, ${\varphi }_R$. A companion paper \cite{Graves} introduced a formula to compute ${\varphi }_{\mathbb{Z}[i]}$. It is the first formula for…