Investigation of economy mathematical models with system ECOMOD tools

The results of proceeding works on development of computer system of support of mathematical modeling of economy are described. A substantiation of necessity of such system, program of its creation and sketch of its structure were stated previously. From that time the specified system ECOMOD was realized and tested on simple models. The system supports and connects together all stages of process of development and research of mathematical models: construction of model in view of the saved experience; check of model on completeness and self-coordination; equipment of model with data; creation of variants of computing experiments with model; interpretation and storage of results. The task to find a similarity of models is solved with the help of allocation and study of groups morphisms of the models which have been written down in a canonical form. Wide application of ECOMOD is restricted because of the absence of effective enough universal solvers for large systems of the nonlinear equations and inequalities. The skilled operation has shown, that the system ECOMOD can serves as an effective tool of the control of substantial correctness of model and is capable to analyze its structure. In the given work the tools of the control and analysis of model realized to the present time, are described and the examples of results of the automatic analysis by some of rather complex and realistic model of market economy are illustrated.