Supporting global numerical optimization of rational functions by generic symbolic convexity tests (Q3589077)

From MaRDI portal





scientific article; zbMATH DE number 5783083
Language Label Description Also known as
default for all languages
No label defined
    English
    Supporting global numerical optimization of rational functions by generic symbolic convexity tests
    scientific article; zbMATH DE number 5783083

      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
      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

      Identifiers