VSDITLU: a verifiable symbolic definite integral table look−up

Andrew A Adams‚ Hanne Gottliebsen‚ Steve A Linton and Ursula Martin