Login / Signup
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process.
Nong Gu
Daniel Lazard
Fabrice Rouillier
Yong Xiang
Published in:
Math. Comput. Sci. (2007)
Keyphrases
</>
numerical optimization
computer algebra
global convergence
convergence speed
convergence analysis
global optimum
genetic algorithm
feature selection
support vector
evolutionary computation
hybrid algorithm
theorem prover