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
    0 references
    0 references
    0 references
    10 September 2010
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references