@misc{adams_2017_810871, author = {Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U.}, title = {{VSDITLU: a verified symbolic definite integral table look-up.}}, month = jun, year = 2017, publisher = {Springer-Verlag}, doi = {10.5281/zenodo.810871}, url = {https://doi.org/10.5281/zenodo.810871} }