Mechanisation of the AKS algorithm
scientific article; zbMATH DE number 7356972
scientific article