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

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

Nong Gu
  • Fonction : Auteur
Daniel Lazard
  • Fonction : Auteur
Systèmes Polynomiaux, Implantation, Résolution Algébrique
Fabrice Rouillier
Systèmes Polynomiaux, Implantation, Résolution Algébrique
CV
Yong Xiang
  • Fonction : Auteur

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01352508

Soumis le : lundi 8 août 2016-11:55:28

Dernière modification le : mardi 11 avril 2023-15:16:28

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
82 Consultations
0 Téléchargements

Partager

More