Eingang zum Volltext

Urheberrechtshinweis / Copyright notice

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URL: http://opus.kobv.de/zib/volltexte/2010/1223/

Neun, Winfried ; Sturm, Thomas ; Vigerske, Stefan

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

pdf-Format:
Dokument 1.pdf (190 KB)
ps-Format:
Dokument 1.ps (420 KB)

Kurzfassung in Englisch

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.

Freie Schlagwörter (englisch): Nonlinear Global Optimization , Hybrid Symbolic-Numeric Computation , Convex Functions , Real Quantifier Elimination
CCS - Klassifikation G.1.6 , G.4 , I.1.2
Abteilung: Wissenschaftliche Informationssysteme
DDC-Sachgruppe: Mathematik
Dokumentart: ZIB-Report
Schriftenreihe: ZIB-Report
Band Nummer: 10-01
ISBN: 1438-0064
Sprache: Englisch
Erstellungsjahr: 2010
Publikationsdatum: 08.02.2010
Bemerkung: printed version not available / keine gedruckte Version

Metadatensuche | Volltextsuche | Browsen | Die neuesten Publikationen | Veröffentlichen
Fragen und Anregungen an bibliothek@zib.de
Letzte Änderung: