FAQ |
BOOK |
SOLVERS |
PLATFORMS |
VENDORS |
CALENDAR |
MORE! |
WHAT'S NEW
EXTENSIONS |
CHANGE LOG |
REPORTS |
NETLIB |
EXAMPLES |
CONTENTS |
HOME
Papers & Reports
on AMPL
Click on a title to see an abstract (if available) and a list of
formats available for downloading. Our guide
to downloading provides further information on retrieving paper and
report files.
You may also request paper copies by writing to info@ampl.com.
- David M. Gay, Hooking Your Solver to
AMPL. Technical report, Bell Laboratories, Murray Hill, NJ
(1993; revised 1994, 1997).
Also available as a web page with links to all example
files.
- Robert Fourer, David M. Gay and Brian W. Kernighan, A Modeling Language for Mathematical
Programming. Management Science 36 (1990)
519-554.
- David M. Gay, Correctly Rounded
Binary-Decimal and Decimal-Binary Conversions. Numerical
Analysis Manuscript 90-10, AT&T Bell Laboratories, Murray Hill, NJ
(1990).
- 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.
- 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.
- 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.
- 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.
- David M. Gay, Automatically Finding and
Exploiting Partially Separable Structure in Nonlinear Programming
Problems. Bell Laboratories, Murray Hill, NJ (1996).
- 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.
-
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.
-
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).
-
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.
-
Robert Fourer and David M. Gay, Extending an
Algebraic Modeling Language to Support Constraint Programming.
INFORMS Journal on Computing 14#4 (2002) 322-344.
-
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).
-
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.
The following booklets cover installation, command-line switches,
environment variable interactions, and memory and file
considerations.
The following booklets characterize the range of optimization problems
that can be handled by each solver, and describe the many directives
that can be sent from AMPL to modify solver behavior.
Comments or questions?
Write to info@ampl.com
or use our comment form.
Return to the AMPL home page.
LAST MODIFIED 2 JANUARY 2009 BY
4er.
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.