Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.