Use of a Computer Scan to Prove $\mathbf{Q}(\sqrt{2 + \sqrt 2})$ and $\mathbf{Q}(\sqrt{3 + \sqrt 2})$ are Euclidean

Autor: Cohn, Harvey, Deutsch, Jesse
Zdroj: Mathematics of Computation, 1986 Jan 01. 46(173), 295-299.
Databáze: JSTOR Journals