File(s) under permanent embargo
Using computer algebra to certify the global convergence of a numerical optimization process
journal contribution
posted on 2007-12-01, 00:00 authored by Nong Gu, D Lazard, F Rouillier, Yong XiangYong XiangUsing computer algebra to certify the global convergence of a numerical optimization process