Use of a Computer Scan to Prove Q (√2 + √2) and Q (√3 + √2) are Euclidean

DOI10.2307/2008233zbMath0585.12002OpenAlexW2530093175MaRDI QIDQ3710600

Harvey Cohn, Jesse Ira Deutsch

Publication date: 1986

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2008233

zbMATH Keywords

Euclidean fieldsquartic fieldsnorm formComputer calculations

Mathematics Subject Classification ID

Cubic and quartic extensions (11R16) Software, source code, etc. for problems pertaining to field theory (12-04)

Related Items (4)

Non-norm-Euclidean fields in basic \(Z_{l}\)-extensions ⋮ On the norm-Euclideanity of \(\mathbb Q\left(\sqrt{2+\sqrt{2+\sqrt 2}}\right)\) and \(\mathbb Q\left(\sqrt{2+\sqrt 2}\right)\) ⋮ Euclidean minima of totally real number fields: Algorithmic determination ⋮ The ideal class group of the basic \(\mathbb Z_p\)-extension over an imaginary quadratic field

This page was built for publication: Use of a Computer Scan to Prove Q (√2 + √2) and Q (√3 + √2) are Euclidean