@article{DBLP:journals/toms/MagronCD17,
author = {Victor Magron and
George A. Constantinides and
Alastair F. Donaldson},
title = {Certified Roundoff Error Bounds Using Semidefinite Programming},
journal = {{ACM} Trans. Math. Softw.},
volume = {43},
number = {4},
pages = {34:1-34:31},
year = {2017},
doi = {10.1145/3015465},
}