Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions. (English) Zbl 1427.65064
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 532-550 (2015).