@article{NeunSturmVigerske2010, author = {Winfried Neun and Thomas Sturm and Stefan Vigerske}, title = {Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests}, journal = {Computer Algebra in Scientific Computing}, volume = {LNCS 6244}, pages = {205 -- 219}, year = {2010}, }