@article{MCD7,
title = {Certified Roundoff Error Bounds Using Semidefinite Programming },
author = {Magron, Victor and Constantinides, George A. and Donaldson, Alastair F.},
year = {2017},
journal = {{ACM} Trans. Math. Softw.},
number = {4},
pages = {34:1--34:31},
volume = {43},
team = {TEMPO},
}
