"definite integral"@en-us . .