Nong Gu Daniel Lazard Fabrice Rouillier Yong Xiang Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. 291-304 2007 1 Mathematics in Computer Science 2 http://dx.doi.org/10.1007/s11786-007-0021-7 db/journals/mics/mics1.html#GuLRX07