Formally Verified Approximations of Definite Integrals.

Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote

Browse the full ITP paper archive.