Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang. Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. Mathematics in Computer Science, 1(2):291-304, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.