Article ID: | iaor20101959 |
Volume: | 22 |
Issue: | 1 |
Start Page Number: | 26 |
End Page Number: | 43 |
Publication Date: | Dec 2010 |
Journal: | INFORMS Journal on Computing |
Authors: | Fourer Robert, Orban Dominique, Neumaier Arnold, Maheshwari Chandrakant, Schichl Hermann |
We examine symbolic tools associated with two modeling systems for mathematical programming, which can be used to automatically detect the presence or absence of convexity and concavity in the objective and constraint functions, as well as convexity of the feasible set in some cases. The