Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Revisiting Expression Representations for Nonlinear AMPL Models

    AMPL facilitates stating and solving nonlinear programming problems involving algebraically defined objectives and constraints. For solving such problems, the AMPL/solver interface library provides routines th...

    David M. Gay in Numerical Analysis and Optimization (2018)

  2. No Access

    Chapter and Conference Paper

    The AMPL Modeling Language: An Aid to Formulating and Solving Optimization Problems

    Optimization problems arise in many contexts. Sometimes finding a good formulation takes considerable effort. A modeling language, such as AMPL, facilitates experimenting with formulations and simplifies using...

    David M. Gay in Numerical Analysis and Optimization (2015)

  3. No Access

    Chapter and Conference Paper

    Using Expression Graphs in Optimization Algorithms

    An expression graph, informally speaking, represents a function in a way that can be manipulated to reveal various kinds of information about the function, such as its value or partial derivatives at specified...

    David M. Gay in Mixed Integer Nonlinear Programming (2012)

  4. No Access

    Chapter and Conference Paper

    Large-Scale Transient Sensitivity Analysis of a Radiation-Damaged Bipolar Junction Transistor via Automatic Differentiation

    Automatic differentiation (AD) is useful in transient sensitivity analysis of a computational simulation of a bipolar junction transistor subject to radiation damage. We used forward-mode AD, implemented in a ...

    Eric T. Phipps, Roscoe A. Bartlett, David M. Gay in Advances in Automatic Differentiation (2008)

  5. No Access

    Chapter and Conference Paper

    Semiautomatic Differentiation for Efficient Gradient Computations

    Many large-scale computations involve a mesh and first (or sometimes higher) partial derivatives of functions of mesh elements. In principle, automatic differentiation (AD) can provide the requisite partials m...

    David M. Gay in Automatic Differentiation: Applications, Theory, and Implementations (2006)

  6. No Access

    Chapter and Conference Paper

    Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming

    AMPL is a language and environment for expressing and manipulating mathematical programming problems, i.e., minimizing or maximizing an algebraic objective function subject to algebraic constraints. The AMPL proc...

    David M. Gay in Symbolic Algebraic Methods and Verification Methods (2001)

  7. No Access

    Chapter and Conference Paper

    A trust-region approach to linearly constrained optimization

    This paper suggests a class of trust-region algorithms for solving linearly constrained optimization problems. The algorithms use a “local” active-set strategy to select the steps they try. This strategy is su...

    David M. Gay in Numerical Analysis (1984)