A computer verified, monadic, functional implementation of the integral.

Tue, 01 Jan 2008 00:00:00 +0100

Russell O'Connor, Bas Spitters:
A computer verified, monadic, functional implementation of the integral. CoRR abs/0809.1552 (2008)