"VSDITLU: a verifiable symbolic definite integral table look-up."

A. A. Adams et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics