Computer-Assisted Analysis and Model Simplification deals with problems associated with the implementation, understanding, and management of large-scale, computer-resident models.This book focuses on five general research areas-structural modeling, qualitative economics, mathematical programming systems, relational databases, and combinatorics. In these topics, this compilation discusses the scope of computer-assisted analysis and model, structural models and graph theory, and qualitative stability of matrices and economic theory. The strong sign-solvability and weak satisfiability, automatic identification of embedded structure in large-scale optimization models, and query systems for linear programming models are also deliberated.This publication is a good source for students, specialists, and researchers interested in computer-assisted analysis and model simplification.

¿ContributorsPreface On Organizing Analysis The Scope of Computer-Assisted Analysis and Model Simplification Technical SummarySession 1 Structural Modeling Structural Models and Graph Theory Structural Models and Graph Theory Learning through Model Building Notes on Networks and Mini-Models DiscussionSession II Qualitative Stability Analysis Qualitative Stability of Matrices and Economic Theory: A Survey Article Some Structural Aspects of Economic Models Comments on James Quirk's Article Comments on "Qualitative Stability of Matrices and Economic Theory: A Survey Article" by James Quirk DiscussionSession III Qualitative Determinacy and Extension Sign Solvability Maybee's "Sign Solvability" Particularizing the Generality of Economic Analysis Qualitative Matrices: Strong Sign-Solvability and Weak Satisfiability DiscussionSession IV Embedded Structures Hidden Structure in Linear Programs Creating Network Structure in LPs Automatic Identification of Embedded Structure in Large-Scale Optimization Models Some Comments on Hidden Structure in Linear Programs DiscussionSession V Query Systems Logical Inference as an Aid to Analysis in Large Databases Query Systems for Linear Programming Models How Query Systems Can Simplify Models and Aid Analysis Comments on "Logical Inference as an Aid to Analysis in Large Databases" by Jack Minker DiscussionAppendix 1 Implementation Aspects of Model Management: A Focus on Computer-Assisted AnalysisAppendix 2 Graph-Theoretic Foundations of Computer-Assisted AnalysisAppendix 3 Measuring Complementarity and Qualitative Determinacy in Matricial Forms