Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process

Fichier non déposé

Dates et versions

hal-01352508 , version 1 (08-08-2016)

Identifiants

  • HAL Id : hal-01352508 , version 1

Citer

Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang. Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. Mathematical Aspects of Computer and Information Sciences, Jul 2006, Beijing, China. pp.100-112. ⟨hal-01352508⟩
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More