DrAmpl swMATH ID: 6194 Software Authors: Fourer, Robert; Orban, Dominique Description: Dr. Ampl is an AMPL-based optimization problem analyzer which may be used either as a stand-alone tool or hooked to a server such as NEOS. The capabilities of this analyzer include classification of the problem at hand, analysis of the objective and constraint functions and their variables, the providing of upper and lower bounds on the values of these functions over the feasible set and assessment of convexity. Two antagonistic approaches are considered for the latter point; namely a convexity disprover and a convexity prover. Homepage: http://www.gerad.ca/~orban/drampl/ Keywords: optimization model; AMPL modeling language; directed acyclic graph; convexity assessment; structural model analysis; solver recommendation Related Software: CVX; MProbe; AMPL; MINLPLib; GAMS; MINOTAUR; CVXPY; SCIP; Excel; SNOPT; CPLEX; JuMP; KNITRO; FilMINT; Python; ANTIGONE; Pyomo; GlobSol; MINOS; Bonmin Cited in: 8 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year DrAmpl: A meta solver for optimization problem analysis. Zbl 1243.90005Fourer, Robert; Orban, Dominique 2010 all top 5 Cited by 19 Authors 2 Fourer, Robert 2 Lubin, Miles 2 Orban, Dominique 1 Bent, Russell W. 1 Boyd, Stephen Poythress 1 Ceccon, Francesco 1 Dunning, Iain 1 Gay, David M. 1 Grant, Michael C. 1 Khajavirad, Aida 1 Maheshwari, Chandrakant 1 Misener, Ruth 1 Neumaier, Arnold 1 Sahinidis, Nikolaos V. 1 Schichl, Hermann 1 Siirola, John D. 1 Vielma, Juan Pablo 1 Yamangil, Emre 1 Ye, Yinyu Cited in 5 Serials 2 INFORMS Journal on Computing 1 Mathematical Programming. Series A. Series B 1 Computational Management Science 1 Optimization Letters 1 Mathematical Programming Computation Cited in 3 Fields 8 Operations research, mathematical programming (90-XX) 3 Computer science (68-XX) 1 Combinatorics (05-XX) Citations by Year