A computer-verified monadic functional implementation of the integral.

Fri, 01 Jan 2010 00:00:00 +0100

Russell O'Connor, Bas Spitters :
A computer-verified monadic functional implementation of the integral. Theor. Comput. Sci. 411(37): 3386-3402 (2010)