Formalizing Coppersmith's method in Isabelle/HOL
scientific article; zbMATH DE number 7953762
scientific article