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

researchr

You are not signed in
Sign in
Sign up

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]

runs on WebDSL