Formally verified approximations of definite integrals
scientific article; zbMATH DE number 7024460
scientific article