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]
Abstract is missing.