%0 Journal Article %1 journals/toms/MagronCD17 %A Magron, Victor %A Constantinides, George A. %A Donaldson, Alastair F. %D 2017 %J ACM Trans. Math. Softw. %K %N 4 %P 34:1-34:31 %T Certified Roundoff Error Bounds Using Semidefinite Programming. %U http://dblp.uni-trier.de/db/journals/toms/toms43.html#MagronCD17 %V 43

@article{journals/toms/MagronCD17, added-at = {2023-12-13T07:41:33.000+0100}, author = {Magron, Victor and Constantinides, George A. and Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/288eea6fbd796af234e3a3598f8417f15/admin}, ee = {https://doi.org/10.1145/3015465}, interhash = {bc0c50eb730f6e6b0940c6ee917ec520}, intrahash = {88eea6fbd796af234e3a3598f8417f15}, journal = {ACM Trans. Math. Softw.}, keywords = {}, number = 4, pages = {34:1-34:31}, timestamp = {2023-12-13T07:41:33.000+0100}, title = {Certified Roundoff Error Bounds Using Semidefinite Programming.}, url = {http://dblp.uni-trier.de/db/journals/toms/toms43.html#MagronCD17}, volume = 43, year = 2017 }