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

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Browse the full CADE paper archive.