Verified interactive computation of definite integrals
scientific article; zbMATH DE number 7437096
scientific article