A constructive proof of Simpson’s Rule
-
Published:2012
Issue:
Volume:
Page:1-8
-
ISSN:1759-9008
-
Container-title:Journal of Logic and Analysis
-
language:
-
Short-container-title:JLA
Author:
Coquand Thierry,Spitters Bas
Publisher
Journal of Logic and Analysis
Subject
Logic,Modelling and Simulation,Analysis