Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nong Gu' in GoogleThis author has not been identified. Look up 'Daniel Lazard' in GoogleThis author has not been identified. Look up 'Fabrice Rouillier' in GoogleThis author has not been identified. Look up 'Yong Xiang' in Google

runs on WebDSL