共 50 条
- [2] Euclidean rings of algebraic integers CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 2004, 56 (01): : 71 - 76
- [4] EUCLIDEAN RINGS OF INTEGERS IN CYCLOTOMIC FIELDS JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1975, 272 : 45 - 49
- [5] The minimal Euclidean function on the Gaussian integers INDAGATIONES MATHEMATICAE-NEW SERIES, 2023, 34 (01): : 78 - 88
- [10] Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (402):