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 Xiang

Using computer algebra to certify the global convergence of a numerical optimization process

History

Journal

Mathematics in computer science

Volume

1

Pagination

291 - 304

Location

Basel, Switzerland

ISSN

1661-8270

eISSN

1661-8289

Language

eng

Publication classification

C1.1 Refereed article in a scholarly journal

Usage metrics

Categories

No categories selected

Keywords

blind signal separation discriminant variety global convergence analysis MIMO systems parametric polynomial system stochastic gradient algorithm

Licence

All Rights Reserved

Exports