Robert Fourer

Last updated

Robert Fourer (born September 2, 1950) is a scientist working in the area of operations research and management science. He is currently President of AMPL Optimization, Inc and is Professor Emeritus of Industrial Engineering and Management Sciences at Northwestern University. [1] Robert Fourer is recognized as being the designer of the popular modeling language for mathematical programming called AMPL.

Together with David M. Gay and Brian Kernighan he was awarded 1993 ORSA/CSTS Prize [2] by the Computer Science Technical Section of the Operations Research Society of America, for writings on the design of mathematical programming systems and the AMPL modeling language. Robert Fourer was also awarded Guggenheim Fellowship for Natural Sciences in 2002. [3] He was elected to the 2004 class of Fellows of the Institute for Operations Research and the Management Sciences. [4]

Prior to the invention of AMPL, a series of articles by Fourer extended the Simplex algorithm to allow for the objective to be convex separable piecewise-linear. [5] [6] [7] He also worked with Sanjay Mehrotra to solve indefinite linear systems arising in interior-point methods. Their method was more numerically stable than other methods previously proposed. [8]

Writings

AMPL: A Modeling Language for Mathematical Programming, 2nd Ed. (2003 with David Gay and Brian Kernighan)

Related Research Articles

<span class="mw-page-title-main">George Dantzig</span> American mathematician (1914-2005)

George Bernard Dantzig was an American mathematical scientist who made contributions to industrial engineering, operations research, computer science, economics, and statistics.

<span class="mw-page-title-main">Linear programming</span> Method to solve some optimization problems

Linear programming (LP), also called linear optimization, is a method to achieve the best outcome in a mathematical model whose requirements are represented by linear relationships. Linear programming is a special case of mathematical programming.

In mathematical optimization, Dantzig's simplex algorithm is a popular algorithm for linear programming.

<span class="mw-page-title-main">AMPL</span>

AMPL is an algebraic modeling language to describe and solve high-complexity problems for large-scale mathematical computing . It was developed by Robert Fourer, David Gay, and Brian Kernighan at Bell Laboratories. AMPL supports dozens of solvers, both open source and commercial software, including CBC, CPLEX, FortMP, MINOS, IPOPT, SNOPT, KNITRO, and LGO. Problems are passed to solvers as nl files. AMPL is used by more than 100 corporate clients, and by government agencies and academic institutions.

Karmarkar's algorithm is an algorithm introduced by Narendra Karmarkar in 1984 for solving linear programming problems. It was the first reasonably efficient algorithm that solves these problems in polynomial time. The ellipsoid method is also polynomial time but proved to be inefficient in practice.

<span class="mw-page-title-main">COIN-OR</span>

Computational Infrastructure for Operations Research (COIN-OR), is a project that aims to "create for mathematical software what the open literature is for mathematical theory." The open literature provides the operations research (OR) community with a peer-review process and an archive. Papers in operations research journals on mathematical theory often contain supporting numerical results from computational studies. The software implementations, models, and data used to produce the numerical results are typically not published. The status quo impeded researchers needing to reproduce computational results, make fair comparisons, and extend the state of the art.

Algebraic modeling languages (AML) are high-level computer programming languages for describing and solving high complexity problems for large scale mathematical computation. One particular advantage of some algebraic modeling languages like AIMMS, AMPL, GAMS, Gekko, MathProg, Mosel, and OPL is the similarity of their syntax to the mathematical notation of optimization problems. This allows for a very concise and readable definition of problems in the domain of optimization, which is supported by certain language elements like sets, indices, algebraic expressions, powerful sparse index and data handling variables, constraints with arbitrary names. The algebraic formulation of a model does not contain any hints how to process it.

In mathematical optimization, Bland's rule is an algorithmic refinement of the simplex method for linear optimization.

Margaret H. Wright is an American computer scientist and mathematician. She is a Silver Professor of Computer Science and former Chair of the Computer Science department at Courant Institute of Mathematical Sciences, New York University, with research interests in optimization, linear algebra, and scientific computing. She was elected to the National Academy of Engineering in 1997 for development of numerical optimization algorithms and for leadership in the applied mathematics community. She was elected to the National Academy of Sciences in 2005. She was the first woman to serve as President of the Society for Industrial and Applied Mathematics.

Dantzig–Wolfe decomposition is an algorithm for solving linear programming problems with special structure. It was originally developed by George Dantzig and Philip Wolfe and initially published in 1960. Many texts on linear programming have sections dedicated to discussing this decomposition algorithm.

FortMP is a software package for solving large-scale optimization problems. It solves linear programming problems, quadratic programming problems and mixed integer programming problems. Its robustness has been explored and published in the Mathematical Programming journal. FortMP is available as a standalone executable that accepts input in MPS format and as a library with interfaces in C and Fortran. It is also supported in the AMPL modeling system.

<span class="mw-page-title-main">Criss-cross algorithm</span> Method for mathematical optimization

In mathematical optimization, the criss-cross algorithm is any of a family of algorithms for linear programming. Variants of the criss-cross algorithm also solve more general problems with linear inequality constraints and nonlinear objective functions; there are criss-cross algorithms for linear-fractional programming problems, quadratic-programming problems, and linear complementarity problems.

<span class="mw-page-title-main">Klee–Minty cube</span>

The Klee–Minty cube or Klee–Minty polytope is a unit hypercube of variable dimension whose corners have been perturbed. Klee and Minty demonstrated that George Dantzig's simplex algorithm has poor worst-case performance when initialized at one corner of their "squashed cube". On the three-dimensional version, the simplex algorithm and the criss-cross algorithm visit all 8 corners in the worst case.

The FICO Xpress optimizer is a commercial optimization solver for linear programming (LP), mixed integer linear programming (MILP), convex quadratic programming (QP), convex quadratically constrained quadratic programming (QCQP), second-order cone programming (SOCP) and their mixed integer counterparts. Xpress includes a general purpose non-linear solver, Xpress NonLinear, including a successive linear programming algorithm, and Artelys Knitro.

Philip Starr "Phil" Wolfe was an American mathematician and one of the founders of convex optimization theory and mathematical programming.

MINOS is a Fortran software package for solving linear and nonlinear mathematical optimization problems. MINOS may be used for linear programming, quadratic programming, and more general objective functions and constraints, and for finding a feasible point for a set of linear or nonlinear equalities and inequalities.

In mathematical optimization, the network simplex algorithm is a graph theoretic specialization of the simplex algorithm. The algorithm is usually formulated in terms of a minimum-cost flow problem. The network simplex method works very well in practice, typically 200 to 300 times faster than the simplex method applied to general linear program of same dimensions.

Donald Goldfarb is an American mathematician, best known for his works in mathematical optimization and numerical analysis.

<span class="mw-page-title-main">Tamás Terlaky</span> Hungarian mathematician (born 1955)

Tamás Terlaky is a Hungarian-Canadian-American professor of Industrial and Systems Engineering at Lehigh University. He is especially well known for his work on criss-cross algorithms, interior-point methods, Klee-Minty examples for path following algorithms, and optimization.

<span class="mw-page-title-main">Werner Römisch</span> German mathematician

Werner Römisch is a German mathematician, professor emeritus at the Humboldt University of Berlin, most known for his pioneer work in the field of stochastic programming.

References

  1. https://www.or-exchange.org/users/503/4er/
  2. "Home - Computing Society" (PDF).
  3. List of Guggenheim Fellowships awarded in 2002
  4. Fellows: Alphabetical List, Institute for Operations Research and the Management Sciences , retrieved 2019-10-09
  5. Fourer, Robert (1985). "A simplex algorithm for piecewise-linear programming I: Derivation and proof". Mathematical Programming. 33 (2): 204–233. doi:10.1007/BF01582246. S2CID   3359434.
  6. Fourer, Robert (1988). "A simplex algorithm for piecewise-linear programming II: Finiteness, feasibility and degeneracy". Mathematical Programming. 41 (1–3): 281–315. doi:10.1007/BF01580769. S2CID   35190836.
  7. Fourer, Robert (1992). "A simplex algorithm for piecewise-linear programming III: Computational analysis and applications". Mathematical Programming. 53 (1–3): 213–235. doi:10.1007/BF01585703. S2CID   41281704.
  8. Fourer, Robert; Mehrotra, Sanjay (1993). "Solving symmetric indefinite systems in an interior-point method for linear programming". Mathematical Programming. 62 (1–3): 15–39. doi:10.1007/BF01585158. S2CID   16319200.