Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, and Gopalakrishnan, Ganesh. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. Retrieved from https://par.nsf.gov/biblio/10105540. ACM Transactions on Programming Languages and Systems 41.1 Web. doi:10.1145/3230733.

Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, & Gopalakrishnan, Ganesh. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Transactions on Programming Languages and Systems, 41 (1). Retrieved from https://par.nsf.gov/biblio/10105540. https://doi.org/10.1145/3230733

Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, and Gopalakrishnan, Ganesh. "Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions". ACM Transactions on Programming Languages and Systems 41 (1). Country unknown/Code not available. https://doi.org/10.1145/3230733. https://par.nsf.gov/biblio/10105540.

@article{osti_10105540,
place = {Country unknown/Code not available}, title = {Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions}, url = {https://par.nsf.gov/biblio/10105540}, DOI = {10.1145/3230733}, abstractNote = {}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {41}, number = {1}, author = {Solovyev, Alexey and Baranowski, Marek S. and Briggs, Ian and Jacobsen, Charles and Rakamarić, Zvonimir and Gopalakrishnan, Ganesh}, }