Norm-Euclidean number field

From Commalg

This article defines a number field property: a property that can be evaluated for a number field

Definition

A number field is termed norm-Euclidean if its associated ring of integers is norm-Euclidean.