zbMATH — the first resource for mathematics

Algebraic languages for mathematical programming. (English) Zbl 0776.90087
Summary: This paper is a survey of algebraic modeling languages, which are playing an increasingly prominent role in the application of mathematical programming. An algebraic language is a computer readable langauge in which the objective function and the constraints of an optimization model are described algebraically. The emphasis in this paper is on descriptions of prominent language features, and comparisons with other representations of mathematical programs. The language features are evaluated on the basis of their contribution to the human ability to understand, maintain and verify model descriptions. Several recent research contributions are mentioned indicating that there is ample room for both improvements of algebraic languages and new types of languages.

90C99 Mathematical programming
68N15 Theory of programming languages
Full Text: DOI
[1] Advanced Mathematical Software Ltd., ()
[2] Aigner, D.J., An interpretive input routine for linear programming, Communications of the ACM, 10, 23-26, (1967)
[3] Anthonisse, J.M., An input system for linear programming problems, Statistica neerlandica, 24, 71-81, (1970) · Zbl 0193.18605
[4] Anthonisse, J.M., Experiences with a matrix generator for linear programming, (), 950-954
[5] Ashford, R.W.; Daniel, R.C., LP-MODEL: XPRESS-LP’s model builder, IMA journal of mathematics in management, 1, 163-176, (1987)
[6] Backus, J.; Backus, J., Can programming be liberated from the von Neumann style? a functional style and its algebra of programs, Communications of the ACM, Communications of the ACM, 44, 175-202, (1978), Reprinted in · Zbl 0383.68013
[7] Baker, T.E., A hierarchical/relational approach to modeling, Computer science in economics and management, 3, 63-88, (1990)
[8] Baldwin, G., Implementation of physical units, Sigplan notices, 22, 45-50, (1987)
[9] Bisschop, J.J., A priori model reduction and error checking in large-scale linear programming applications, IMA journal of mathematics in management, 1, 211-224, (1987)
[10] Bisschop, J.J.; Fourer, R., New constructs for the description of combinatorial optimization problems in algebraic modeling languages, (1989), University of Twente Enschede, Netherlands, Memorandum 901 · Zbl 0852.90114
[11] Bisschop, J.J.; Meeraus, A., On the development of a general algebraic modeling system in a strategic planning environment, Mathematical programming study, 20, 1-29, (1982)
[12] Bisschop, J.J.; van Oostvoorn, F., On the use of the modeling system GAMS at an energy study centre, IMA journal of mathematics in management, 1, 293-300, (1987)
[13] Bradley, G.H.; Clemence, R.D., A type calculus for executable modeling languages, IMA journal of mathematics in management, 1, 177-291, (1987)
[14] Brooke, A.; Drud, A.; Meeraus, A., High level modeling systems and nonlinear programming, (), 178-198
[15] Brooke, A.; Kendrick, D.A.; Meeraus, A., ()
[16] Chvátal, V., Linear programming, (1983), Freeman New York · Zbl 0318.05002
[17] Coyle, R.G., The use of optimisation methods for policy design in a system dynamics model, (1984), University of Bradford, Technical Report
[18] Dantzig, G.B., Linear programming and extensions, (1963), Princeton University Press Princeton, NY · Zbl 0108.33103
[19] Day, R.E.; Williams, H.P., MAGIC: the design and use of an interactive modelling language for mathematical programming, IMA journal of mathematics in management, 1, 53-65, (1986)
[20] de Decker, B.; Louveaux, F.; Mortier, C.; Schepens, G.; van Looveren, A., Linear and mixed integer programming with OMP, (1987), Beyers & Partners, PVBA
[21] Dolk, D.R., A generalized model management system for mathematical programming, ACM transactions on mathematical software, 12, 92-126, (1986)
[22] Dolk, D.R.; Konsynski, B.R., Knowledge representation for model management systems, IEEE transactions on software engineering, 10, 619-628, (1984)
[23] Drud, A., Interfacing modeling systems and solution algorithms, Journal of economic dynamics and control, 5, 131-149, (1983)
[24] Drud, A., A survey of model representations and simulation algorithms in some existing modeling systems, Journal of economic dynamics and control, 5, 5-35, (1983)
[25] Duff, I.S.; Erisman, A.M.; Reid, J.K., Direct methods for sparse matrices, (1986), Oxford Science Publications New York · Zbl 0604.65011
[26] Ellison, E.F.D.; Mitra, G., UIMP: user interface for mathematical programming, ACM transactions on mathematical software, 8, 229-255, (1982) · Zbl 0485.68027
[27] Fourer, R., Modeling languages versus matrix generators for linear programming, ACM transactions on mathematical software, 9, 143-183, (1983)
[28] Fourer, R.; Gay, D.M., Expressing special structures in an algebraic modeling language for mathematical programming, (), AT&T Bell Laboratories, Murray Hill, NJ · Zbl 0859.90096
[29] Fourer, R.; Gay, D.M.; Kernighan, B.W., A modeling language for mathematical programming, Management science, 36, 519-554, (1990) · Zbl 0701.90062
[30] Garey, M.R.; Johnson, D.S., Computers and intractability: A guide to the theory of NP-completeness, (1979), Freeman New York · Zbl 0411.68039
[31] Gay, D.M., Electronic mail distribution of linear programming test problems, Mathematical programming society COAL newsletter, (December, 1985)
[32] Geoffrion, A.M., An introduction to structured modeling, Management science, 33, 547-588, (1987)
[33] Geoffrion, A.M., The formal aspects of structured modeling, Operations research, 37/1, 30-51, (1989)
[34] Geoffrion, A.M., Indexing in modeling languages for mathematical programming, () · Zbl 0395.90056
[35] Geoffrion, A.M., The SML language for structured modeling, () · Zbl 0825.90666
[36] Greenberg, H.J., A functional description of ANALYZE: A computer-assisted analysis system for linear programming models, ACM transactions on mathematical software, 9, 18-56, (1983) · Zbl 0507.65030
[37] Greenberg, H.J., A natural language discourse model to explain linear programming models and solutions, Decision support systems, 3, 333-342, (1987)
[38] Greenberg, H.J.; Lucas, C.; Mitra, G., Computer-assisted modelling and analysis of linear programming problems: towards a unified framework, IMA journal of mathematics in management, 1, 251-265, (1987)
[39] Greenberg, H.J.; Murphy, F.H., A comparison of mathematical programming systems, ()
[40] Gustavson, L.; Wiechowski, M., Coupling DYNAMO and optimization software, System dynamics review, 2, 62-66, (1986)
[41] Haverly Systems, OMNI linear programming system: user and operating manual, (1976), Denville, NJ
[42] Haverly Systems, MAGEN: reference manual, (1977), Denville, NJ
[43] Henderson, P., Purely functional operating systems, ()
[44] ()
[45] House, R.T., A proposal for an extended form of type checking of expressions, The computer journal, 26, 366-374, (1983) · Zbl 0517.68039
[46] Hürlimann, T.; Kohlas, J., LPL: A structured language for linear programming modeling, OR spektrum, 10, 55-63, (1988)
[47] IBM Corporation, Mathematical programming system extended/370 version 2, program reference manual, SH19-6553-0, (1988)
[48] Jones, C.; Carmona, J., A new species of modelling system, IMA journal of mathematics in management, 1, 225-236, (1987)
[49] Jones, C.V., An introduction to graph-based modeling systems, part I: overview, ORSA journal on computing, 2/2, 136-151, (1990)
[50] Joosten, S.M.M., Functional system specification, Software engineering journal, 127-133, (July 1988)
[51] Kahan, G., Walking through a columnar approach to linear programming of a business, Interfaces, 12/3, 32-39, (1982)
[52] Karr, M.; Lovemann, D.B., Incorporation of units into programming languages, Communications of the ACM, 21, 385-391, (1978)
[53] Katz, S.; Risman, L.J.; Rodeh, M., A system for constructing linear programming models, IBM system journal, 19, 505-520, (1980)
[54] Ketron, Inc., MPS III DATAFORM: user manual, (1975), Arlington, VA
[55] Kurator, W.G.; O’Neill, R.P., PERUSE: an interactive system for mathematical programs, ACM transactions on mathematical software, 6/4, 489-509, (1980) · Zbl 0442.68020
[56] ()
[57] Lucas, C.; Mitra, G., Computer-assisted mathematical programming (modeling) system: CAMPS, The computer journal, 31, 364-375, (1988)
[58] Lucas, C.; Mitra, G., (), Technical Report
[59] Ma, P.-C.; Murphy, F.H.; Stohr, E.A., Computer-assisted formulation of linear programs, IMA journal of mathematics in management, 1, 147-161, (1987)
[60] Ma, P.-C.; Murphy, F.H.; Stohr, E.A., A graphics interface for linear programming, Communications of the ACM, 32, 996-1012, (1989)
[61] MathPro, Inc., Introduction and reference, Mathpro usage guide, (1990), Washington, DC
[62] Maximal Software, Inc., MPL modelling system, (May 1991), Release 2.0 Edition
[63] Meeraus, A., An algebraic approach to modeling, Journal of economic dynamics and control, 5, 81-108, (1983)
[64] Mills, R.E.; Fetter, R.B.; Averill, R.E., A computer language for mathematical program formulation, Decision sciences, 8, 427-444, (1977)
[65] Murtagh, B.A., Advanced linear programming: computation and practice, (1981), McGraw-Hill New York · Zbl 0525.90062
[66] Orchard-Hays, W., History of mathematical programming system, Annals of the history of computing, 6, 296-312, (1984) · Zbl 0998.01525
[67] Palmer, K.H.; Boudwin, N.K.; Patton, H.A.; Rowland, A.J.; Sammes, J.D.; Smith, D.M., A model-management framework for mathematical programming, an exxon monograph, (1984), Wiley New York · Zbl 0643.90098
[68] Pissanetzky, S., Sparse matrix technology, (1984), Academic Press New York · Zbl 0536.65019
[69] Roy, A.; Lasdon, L.S.; Lordeman, J., Extending planning languages to include optimization capabilities, Management science, 32, 360-373, (1986)
[70] Roy, A.; Lasdon, L.S.; Plane, D., End-user optimization with spreadsheet models, European journal of operational research, 39, 131-137, (1989)
[71] Sagi, I., Computer-aided modeling and planning (CAMP), ACM transactions on mathematical software, 12, 225-248, (1986)
[72] Schrage, L., Linear, integer and quadratic programming with LINDO, (1987), Scientifc Press Palo Alto, CA
[73] Schrage, L.; Cunningham, K., LINGO, optimization modeling language, (1991), Lindo Systems Inc P.O. Box 148231, Chicago, IL 60614
[74] Scicon, MGG user guide, (June 1990), Version 3.0 Edition
[75] Seymour, J., What’s best about using linear programming, PC week, 3/27, (1986)
[76] Shamir, R., The efficiency of the simplex method: A survey, Management science, 33, 301-334, (1987) · Zbl 0612.90081
[77] Sharda, R., The state of the art of linear programming on personal computers, Interfaces, 18/4, 49-58, (1988)
[78] Simons, R.V., Mathematical programming modelling using MGG, IMA journal of mathematics in management, 1, 267-276, (1987)
[79] Singh, I.S.; Sadogopan, S., A support system for optimization modelling, Decision support systems, 3, 165-178, (1987)
[80] Sperry Univac Computer Systems, GAMMA 3.4 procedures summary no. UP-8200, rev 1, (1977), St. Paul, Minneapolis
[81] Sperry Univac Computer Systems, GAMMA 3.4 programmers reference no. UP-8199, rev 1, (1977), St. Paul, Minneapolis
[82] Steiger, D.; Sharda, R., Modeling languages for personal computers: A comparison, () · Zbl 0800.90687
[83] Stohr, T., LPFORM, a new approach to formulating linear programs, User’s guide, (October 1990), Stern School of Business, New York University 90 Trinity Place, New York, NY 10006
[84] de Vries, F.-J., A functional program for the fast Fourier transform, ACM sigplan notices, 23, 67-74, (1988)
[85] Waren, A.D.; Hung, M.S.; Lasdon, L.S., The status of nonlinear programming software: an update, Operations research, 35, 489-503, (1987)
[86] Welch, J.S., PAM A Practitionar’s approach to modelling, Management science, 33, 610-625, (1987)
[87] Williams, H.P., Model building in mathematical programming, (1990), Wiley Chichester · Zbl 0709.90072
[88] Witzgall, C.; McClain, M., Problem specification for linear programs, IMA journal of mathematics in management, 1, 177-209, (1987)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.