Malgorzata Moczurad, Piotr Zgliczynski. On the Petras algorithm for verified integration of piecewise analytic functions. J. Complexity, 39:69-93, 2017. [doi]
@article{MoczuradZ17,
title = {On the Petras algorithm for verified integration of piecewise analytic functions},
author = {Malgorzata Moczurad and Piotr Zgliczynski},
year = {2017},
doi = {10.1016/j.jco.2016.10.004},
url = {http://dx.doi.org/10.1016/j.jco.2016.10.004},
researchr = {https://researchr.org/publication/MoczuradZ17},
cites = {0},
citedby = {0},
journal = {J. Complexity},
volume = {39},
pages = {69-93},
}