Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi. Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. In J. Rafael Sendra, Laureano González-Vega, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings. pages 155-164, ACM, 2008. [doi]
@inproceedings{KaltofenLYZ08,
title = {Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars},
author = {Erich Kaltofen and Bin Li and Zhengfeng Yang and Lihong Zhi},
year = {2008},
doi = {10.1145/1390768.1390792},
url = {http://doi.acm.org/10.1145/1390768.1390792},
tags = {certification},
researchr = {https://researchr.org/publication/KaltofenLYZ08},
cites = {0},
citedby = {0},
pages = {155-164},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
editor = {J. Rafael Sendra and Laureano González-Vega},
publisher = {ACM},
isbn = {978-1-59593-904-3},
}