December 16, 2015. Report. S.N. Vasilev, A.E. Druzhinin, N.Yu. Morozov: "Automation output theorems about conserving the properties of mathematical models"

Date of publication

12/14/2015 15:55

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.

mathematics department