On a finite kernel theorem for polynomial-type optimization problems and some of its applications.

Wu Wen-Tsün On a finite kernel theorem for polynomial-type optimization problems and some of its applications. 4 2005 conf/issac/2005 ISSAC http://doi.acm.org/10.1145/1073884.1073887 db/conf/issac/issac2005.html#Wen-Tsun05