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

Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi

Browse the full ISSAC paper archive.