Alexandre Rocca, Victor Magron, Thao Dang. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. In Neil Burgess, Javier D. Bruguera, Florent de Dinechin, editors, 24th IEEE Symposium on Computer Arithmetic, ARITH 2017, London, United Kingdom, July 24-26, 2017. pages 74-81, IEEE Computer Society, 2017. [doi]
Abstract is missing.