GAIL

Guaranteed Automatic Integration Library (GAIL): GAIL is a suite of algorithms for integration problems in one and many dimensions, and whose answers are guaranteed to be correct.