Euclidean totally definite quaternion fields over the rational field and over quadratic number fields

In this article we study totally definite quaternion fields over the rational field and over quadratic number fields. We establish a complete list of all such fields which are Euclidean. Moreover, we prove that every field in this list is in fact norm-Euclidean. The proofs are both theoretical and algorithmic