Verified computation of fast decreasing polynomials
scientific article; zbMATH DE number 1421486