Date of publication

Report by Academician RAS Prof. S.N. Vasilev, Dr. A.E. Druzhinin (Saint-Petersburg State University) and PhD student N.Yu. Morozov (Moscow State University)

Annotation

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.