{"id":"arxiv/2602.06538","url":"https://arxiv.org/abs/2602.06538","tags":["math.NT"],"score":0,"title":"Division algorithms for norm-Euclidean real quadratic fields -- part I","domain":"math.NT","source":"arxiv","authors":["François Morain"],"reviews":0,"subject":"math.NT","summary":"We give a Euclidean division algorithm for the real quadratic fields $\\mathbb{Q}(\\sqrt{m})$ for $m \\in \\{2, 3, 6, 7, 11, 19\\}$, with the property that the norm of the remainder depends on the first Euclidean minimum of the field. In each case, we cover the square $[-1/2, 1/2] \\times [-1/2, 1/2]$ with hyperbolas and give a list of these, together with regions covered. We mechanize the proofs as much as we can, using exact computations, in order to be able to reproduce them.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-06","reactions":{}}