Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-018-9463-7
Full Text
Open PDFAbstract
Available in full text
Date
March 21, 2018
Authors
Publisher
Springer Science and Business Media LLC