David Savourey and Leo Liberti announced the new ROSE (Reformulation/Optimization Software Engine) project. ROSE is an automatic reformulation software for mathematical programs. ROSE works either stand-alone (mostly for debugging purposes) or as an AMPL solver. As AMPL is very much closed-source and has no facilities for editing a “structured formulation” (i.e. a formulation involving indices and quantifiers) in memory, ROSE writes its output (usually a reformulated version of the mathematical programming formulation given in input) as a text file. This may be an input to further processing software (such as a numerical solver), or a “flat formulation” (i.e. a formulation without indices where all the parameter symbols have been replaced by numerical data) again in AMPL format. More information can be found on the ROSE project page.
Mike Steglich and Thomas Schleiff announced CMPL. CMPL is a mathematical programming language and a system for modelling, solving and analyzing linear programming (LP) problems and mixed integer programming (MIP) problems. The CMPL syntax is similar in formulation to the original mathematical model but also includes syntactic elements from modern programming languages. CMPL uses the COIN-OR OSSolverService to solve LP and MIP problems. For more information, please visit the CMPL project page.
The 2011 Wilkinson Prize for Numerical Software will be awarded to Andreas Waechter (IBM T. J. Watson Research Center) and Carl Laird (Texas A&M University) for IPOPT, a software library for solving nonlinear, nonconvex, large-scale continuous optimization problems. The presentation of the award will take place at the International Congress on Industrial and Applied Mathematics (ICIAM 2011) in Vancouver, BC, Canada.