A constructive proof of Simpson's Rule

Thierry Coquand, Bas Spitters. A constructive proof of Simpson's Rule. J. Logic & Analysis, 4, 2012. [doi]

Abstract

Abstract is missing.