Verified Interactive Computation of Definite Integrals.

Runqing Xu, Liming Li, Bohua Zhan

Browse the full CADE paper archive.