Using computer algebra to certify the global convergence of a numerical optimization process (Q2468356)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Using computer algebra to certify the global convergence of a numerical optimization process |
scientific article |
Statements
Using computer algebra to certify the global convergence of a numerical optimization process (English)
0 references
22 January 2008
0 references
blind signal separation
0 references
MIMO systems
0 references
global convergence analysis
0 references
stochastic gradient algorithm
0 references
discriminant variety
0 references
parametric polynomial system
0 references