A constructive proof of Simpson's Rule

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

Authors

Thierry Coquand

This author has not been identified. Look up 'Thierry Coquand' in Google

Bas Spitters

This author has not been identified. Look up 'Bas Spitters' in Google