Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests.

Winfried Neun, Thomas Sturm, Stefan Vigerske

Browse the full CASC paper archive.