A generalized model management system for mathematical programming
- 1 June 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 12 (2) , 92-126
- https://doi.org/10.1145/6497.6501
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Modeling languages versus matrix generators for linear programmingACM Transactions on Mathematical Software, 1983
- A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming ModelsACM Transactions on Mathematical Software, 1983
- The Design of the XMP Linear Programming LibraryACM Transactions on Mathematical Software, 1981
- A Generalized Decision Support System Using Predicate Calculus and Network Data Base ManagementOperations Research, 1981
- REPRESENTATIVE DECISION SUPPORT SYSTEMSPublished by Elsevier ,1981
- PERUSE: An Interactive System for Mathematical ProgramsACM Transactions on Mathematical Software, 1980
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Planning in a hierarchy of abstraction spacesArtificial Intelligence, 1974
- A technique for software module specification with examplesCommunications of the ACM, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965