VSDITLU: a verified symbolic definite integral table look-up (1999)

by A Adams, H Gottliebsen, S Linton, U Martin
Venue:Proc. CADE 16