Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

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]

Authors

Erich Kaltofen

This author has not been identified. Look up 'Erich Kaltofen' in Google

Bin Li

This author has not been identified. Look up 'Bin Li' in Google

Zhengfeng Yang

This author has not been identified. Look up 'Zhengfeng Yang' in Google

Lihong Zhi

This author has not been identified. Look up 'Lihong Zhi' in Google