Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (Q3589077)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests |
scientific article |
Statements
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (English)
0 references
10 September 2010
0 references
nonlinear global optimization
0 references
hybrid symbolic-numeric computation
0 references
convex functions
0 references
real quantifier elimination
0 references
implementation
0 references
Reduce
0 references
0 references
0 references
0 references