Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter. Efficient and accurate computation of upper bounds of approximation errors. Theoretical Computer Science, 412(16):1523-1543, 2011. [doi]
@article{ChevillardHJL11, title = {Efficient and accurate computation of upper bounds of approximation errors}, author = {Sylvain Chevillard and J. Harrison and Mioara Joldes and Christoph Quirin Lauter}, year = {2011}, doi = {10.1016/j.tcs.2010.11.052}, url = {http://dx.doi.org/10.1016/j.tcs.2010.11.052}, researchr = {https://researchr.org/publication/ChevillardHJL11}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {412}, number = {16}, pages = {1523-1543}, }