A proof of GMP square root
scientific article; zbMATH DE number 1901555