A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models

DOI10.1145/356022.356024zbMath0507.65030OpenAlexW2162560245MaRDI QIDQ4745218

Harvey J. Greenberg

Publication date: 1983

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/356022.356024

zbMATH Keywords

verificationsensitivity analysisdimensional reductionfactor analysisdebuggingsimplificationmodel managementmodel simplificationlarge-scale modelingmodel verificationdocumentationpath tracingcomputer-assisted analysisembedded structuresanalysis aidsANALYZEinterpreting results

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Linear programming (90C05) Software, source code, etc. for problems pertaining to numerical analysis (65-04)

Related Items (10)

Hierarchical sets in mathematical programming modeling languages ⋮ Constraint propagation, relational arithmetic in AI systems and mathematical programs ⋮ Representing knowledge about linear programming formulation ⋮ Algebraic languages for mathematical programming ⋮ Analysis of structure in fuzzy linear programs ⋮ The ANALYZE rulebase for supporting LP analysis ⋮ Balance constraints reduction of large-scale linear programming problems ⋮ LP modeling languages for personal computers: A comparison ⋮ MINOS(IIS): Infeasibility analysis using MINOS ⋮ Syntax-directed report writing in linear programming using ANALYZE

Uses Software

• PERUSE

This page was built for publication: A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models