title = {Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations },
author = {Magron, Victor and Rocca, Alexandre and Dang, Thao},
year = {2018},
journal = {IEEE Transactions on Computers},
team = {TEMPO},
}