Sciweavers

CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 11 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske