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

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]

This author has not been identified. Look up 'Alexey Solovyev' in GoogleThis author has not been identified. Look up 'Marek S. Baranowski' in GoogleThis author has not been identified. Look up 'Ian Briggs' in GoogleThis author has not been identified. Look up 'Charles Jacobsen' in GoogleThis author has not been identified. Look up 'Zvonimir Rakamaric' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL