@inproceedings{mahboubi:hal-01289616, TITLE = {{Formally Verified Approximations of Definite Integrals}}, AUTHOR = {Mahboubi, Assia and Melquiond, Guillaume and Sibut-Pinote, Thomas}, URL = {https://inria.hal.science/hal-01289616}, BOOKTITLE = {{Interactive Theorem Proving}}, ADDRESS = {Nancy, France}, EDITOR = {Jasmin Christian Blanchette and Stephan Merz}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {9807}, YEAR = {2016}, MONTH = Aug, DOI = {10.1007/978-3-319-43144-4\_17}, PDF = {https://inria.hal.science/hal-01289616v2/file/main.pdf}, HAL_ID = {hal-01289616}, HAL_VERSION = {v2}, }