@inproceedings{RMD7,
title = {Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations },
author = {Rocca, Alexandre and Magron, Victor and Dang, Thao},
year = {2017},
booktitle = {24th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2017, London, United Kingdom, July 24-26, 2017},
pages = {74--81},
team = {axe_Mohytos, TEMPO},
}
