Derivation of preservation conditions for properties of mathematical models
S. N. Vassilyev, Andrei Eduardovich Druzhinin, N. Yu. Morozov · Doklady Mathematics · 2015
A general method for deriving conditions for the preservation of properties of any mathematical models is proposed. No constraints on the properties under consideration are imposed. No a priori specification of any part of these conditions, except connection predicates for pairs of variables corresponding to each other in the definitions of properties, is required. Examples are given.