@techreport{NeunSturmVigerske2010, author = {Winfried Neun and Thomas Sturm and Stefan Vigerske}, title = {Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {10-01}, language = {eng}, year = {2010} }