Robert Fourer, Algebraic Modeling Languages for Optimization. In S.I. Gass and M.C. Fu, eds., *Encyclopedia of Operations Research and Management Science,* Springer (2013).

Robert Fourer, On the Evolution of Optimization Modeling Systems. M. Groetschel, *Optimization Stories.* Documenta Mathematica (2012) 377-388.

Robert Fourer, Modeling Languages versus Matrix Generators for Linear Programming. *ACM Transactions on Mathematical Software* **9** (1983) 143-183. Abstract >>

David M. Gay, The AMPL Modeling Language — an Aid to Formulating and Solving Optimization Problems. In *Recent Developments in Numerical Analysis and Optimization*, M. Al-Baali, L. Grandinetti and A. Purnama, eds., *Springer Proceedings in Mathematics and Statistics* (to appear).Abstract >>

Robert Fourer, David M. Gay and Brian W. Kernighan, Design Principles and New Developments in the AMPL Modeling Language. In *Modeling Languages in Mathematical Optimization*, J. Kallrath, ed., Kluwer Academic Publishers, Dordrecht, The Netherlands (2003).Abstract >>

Robert Fourer, David M. Gay and Brian W. Kernighan, A Modeling Language for Mathematical Programming. Management Science **36** (1990) 519-554.Abstract >>

David M. Gay, Hooking Your Solver to AMPL. Technical report, Bell Laboratories, Murray Hill, NJ (1993; revised 1994, 1997). Abstract >>

Elizabeth D. Dolan, Robert Fourer, Jean-Pierre Goux, Todd S. Munson and Jason Sarich, Kestrel: An Interface from Optimization Modeling Systems to the NEOS Server. *INFORMS Journal on Computing* **20** (2008) 525-538. Abstract >>

Elizabeth D. Dolan, Robert Fourer, Jorge J. Moré and Todd S. Munson, Optimization on the NEOS Server. *SIAM News* **35,** 6 (July/August 2002), 4, 8-9.

David M. Gay, Using Expression Graphs in Optimization Algorithms. *Mixed-Integer Nonlinear Programming: IMA Volumes in Mathematics and its Applications*** 154** (2012) 247-262. Abstract >>

Robert Fourer and David M. Gay, Numerical Issues and Influences in the Design of Algebraic Modeling Languages for Optimization. In *Proceedings of the 20th Biennial Conference on Numerical Analysis,* Dundee, Scotland, D.F. Griffiths and D.A. Watson, eds. Numerical Analysis Report NA/217 (2003) 39-51.

Robert Fourer and David M. Gay, Extending an Algebraic Modeling Language to Support Constraint Programming. *INFORMS Journal on Computing* **14**, 4 (2002) 322-344. Abstract >>

David M. Gay, Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming. In *Symbolic Algebraic Methods and Verification Methods,* G. Alefeld, J. Rohn, and T. Yamamoto, eds, Springer-Verlag (2001) 99-106. Abstract >>

Robert Fourer and David M. Gay, Conveying Problem Structure from an Algebraic Modeling Language to Optimization Algorithms. In *Computing Tools for Modeling, Optimization and Simulation: Interfaces in Computer Science and Operations Research,* M. Laguna and J.L. González-Velarde, eds., Kluwer Academic Publishers, Dordrecht, The Netherlands (2000). Abstract >>

Michael C. Ferris, Robert Fourer and David M. Gay, Expressing Complementarity Problems in an Algebraic Modeling Language and Communicating Them to Solvers. *SIAM Journal on Optimization* **9** (1999) 991-1009. Abstract >>

Robert Fourer, Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimization: A Logic Programming Approach. In D.L. Woodruff, ed., *Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research,* Kluwer Academic Publishers (Dordrecht, The Netherlands, 1998) 31-74.

David M. Gay, Automatically Finding and Exploiting Partially Separable Structure in Nonlinear Programming Problems. Bell Laboratories, Murray Hill, NJ (1996). Abstract >>

David M. Gay, More AD of Nonlinear AMPL Models: Computing Hessian Information and Exploiting Partial Separability. In *Computational Differentiation: Techniques, Applications, and Tools,* M. Berz, C. Bischof, G. Corliss and A. Griewank, eds., SIAM (Philadelphia, 1996) 173-184. Abstract >>

Robert Fourer and David M. Gay, Expressing Special Structures in an Algebraic Modeling Language for Mathematical Programming. *ORSA Journal on Computing* **7** (1995) 166-190. Abstract >>

Robert Fourer and David M. Gay, Experience with a Primal Presolve Algorithm. In *Large Scale Optimization: State of the Art,* W.W. Hager, D.W. Hearn and P.M. Pardalos, eds., Kluwer Academic Publishers (Dordrecht, 1994) 135-154. Abstract >>

David M. Gay, Automatic Differentiation of Nonlinear AMPL Models. In *Automatic Differentiation of Algorithms: Theory, Implementation, and Application,* A. Griewank and G. Corliss, eds., SIAM (Philadelphia, 1991) 61-73. Abstract >>

David M. Gay, Correctly Rounded Binary-Decimal and Decimal-Binary Conversions. Numerical Analysis Manuscript 90-10, AT&T Bell Laboratories, Murray Hill, NJ (1990). Abstract >>