Introduction à la classification automatique des corps de nombres algébriquesJean-Pierre Duport and René DussaudR.I.R.O., 3 R3 (1969) 71-84DOI: https://doi.org/10.1051/m2an/196903R300711