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.
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 4 OCTOBER 2002 BY
4er.