G-2007-90
Convexity and Concavity Detection in Computational Graphs. Tree Walks for Convexity Proving
, , , et référence BibTeX
In this paper, we examine sets of tools associated to modeling systems for mathematical programming which can be used to automatically detect the presence or lack of convexity and concavity in the objective and constraint functions. The COCONUT solver system (Schichl, 2004) focuses on nonlinear global continuous optimization and possesses its own modeling language and data structures. The Dr.AMPL (Fourer and Orban, 2007) meta-solver aims to analyze nonlinear diffentiable optimization models and hooks into the AMPL Solver Library (Gay, 2002). We report numerical results using these tools on sets of test problems for both global and local optimization.
Paru en novembre 2007 , 25 pages
Axe de recherche
Application de recherche
Publication
jan. 2009
Convexity and concavity detection in computational graphs: Tree walks for convexity assessment
, , , et
INFORMS Journal on Computing, 22(1), 26–43, 2009
référence BibTeX