Abstract:
The paper develops the framework of Kronecker products over the field of real numbers and the field of predicates. Procedures and logical structures of algorithms transforming Kronecker vectors into vectors in extended spaces are constructed. The application of the developed framework for mathematical modeling of polynomial discrete dynamic systems is considered and a method for their transformation to a quasilinear form is developed. The latter is used to generate data ensembles with given numerical characteristics and randomized forecasting. Discrete polynomial systems with feedback are considered. Their solution in the form of a multidimensional power series is constructed and its convergence is studied.