• search hit 1 of 2
Back to Result List

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

Please always quote using this URN:urn:nbn:de:0296-matheon-6862
  • 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 to prove or disprove convexity of rational functions over a polyhedral domain. Our algorithms reduce convexity questions to real quantifier elimination problems. Our methods are implemented and publicly available in the open source computer algebra system REDUCE. Our long term goal is to integrate REDUCE as a ``workhorse'' for symbolic computations into a numerical solver.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Winfried Neun, Thomas Sturm, Stefan Vigerske
URN:urn:nbn:de:0296-matheon-6862
Referee:Andreas Bley
Document Type:Preprint, Research Center Matheon
Language:English
Date of first Publication:2010/03/15
Release Date:2010/03/15
Tag:
Institute:Humboldt-Universität zu Berlin
Zuse Institute Berlin (ZIB)
Preprint Number:692
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.