De l’euclidianité de et pour la norme
Cet article a pour objectif de présenter un algorithme permettant de montrer, à l’aide d’un ordinateur, l’euclidianité pour la norme du sous-corps réel maximal du corps cyclotomique où , corps totalement réel de degré et de discriminant , et plus précisément de prouver que . La méthode utilisée permet par ailleurs de prouver que pour , on a également (conjecture de H. Cohn et J. Deutsch). Les résultats relatifs à ce cas sont exposés en fin d’article.