Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Transactions on Programming Languages and Systems, 41(1), 2019. [doi]
@article{SolovyevBBJRG19,
title = {Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions},
author = {Alexey Solovyev and Marek S. Baranowski and Ian Briggs and Charles Jacobsen and Zvonimir Rakamaric and Ganesh Gopalakrishnan},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3230733},
researchr = {https://researchr.org/publication/SolovyevBBJRG19},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {41},
number = {1},
}