Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.

Alexandre Rocca, Victor Magron, Thao Dang

Browse the full ARITH paper archive.