The report by academician of RAS Prof. S.N. Vasilev (Department of Physical and Mathematical Management Methods, Faculty of Physics, Moscow State Universiry; ?), Dr. A.E. Druzhinin (Saint-Petersburg State University) and PhD student N.Yu. Morozov (Department of Physical and Mathematical Management Methods, Faculty of Physics, Moscow State Universiry)
A general method for obtaining conservation conditions for arbitrary mathematical models properties is proposed. There is no limitations on the properties under consideration. One does not need a priori assignment of any part of these conditions, except the predicate relation to each other pairs of corresponding variables included in the determination of properties. The software implementation of the method is described. Examples are given.