Thierry Coquand, Bas Spitters. A constructive proof of Simpson's Rule. J. Logic & Analysis, 4, 2012. [doi]
@article{CoquandS12, title = {A constructive proof of Simpson's Rule}, author = {Thierry Coquand and Bas Spitters}, year = {2012}, url = {http://logicandanalysis.org/index.php/jla/article/view/174/66}, researchr = {https://researchr.org/publication/CoquandS12}, cites = {0}, citedby = {0}, journal = {J. Logic & Analysis}, volume = {4}, }