Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Формат:	Стаття
Мова:	English
Опубліковано:	2018
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000926962
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

The replenishment algorithm in algebra of sets
за авторством: M. S. Lvov, та інші
Опубліковано: (2021)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Selective Categories and Linear Canonical Relations
за авторством: Li-Bland, D., та інші
Опубліковано: (2014)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

The Structure of a Sequential Method for Constructing Linear Convolution Algorithms With the Help of the HNS
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
за авторством: A. E. Doroshenko, та інші
Опубліковано: (2017)

Algebraic interaction theory and cyber-physical systems
за авторством: A. A. Letichevskij
Опубліковано: (2017)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

A Simple Proof of Sklyanin's Formula for Canonical Spectral Coordinates of the Rational Calogero-Moser System
за авторством: Görbe, T.F.
Опубліковано: (2016)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: O. M. Ovdii
Опубліковано: (2019)

Semi-lattice of varieties of quasigroups with linearity
за авторством: Sokhatsky, F. M., та інші
Опубліковано: (2021)

Semi-lattice of varieties of quasigroups with linearity
за авторством: Sokhatsky, F.M., та інші
Опубліковано: (2021)

Algorithm for estimating solutions of ill-conditioned systems linear algebraic equations
за авторством: V. I. Masol, та інші
Опубліковано: (2018)

Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)

A Top-Down Account of Linear Canonical Transforms
за авторством: Wolf, K.B.
Опубліковано: (2012)

On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)

Exponential Formulas and Lie Algebra Type Star Products
за авторством: Meljanac, S., та інші
Опубліковано: (2012)

On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)

On some relationships between the factors of the canonical central series of Leibniz algebras
за авторством: L. A. Kurdachenko, та інші
Опубліковано: (2016)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

To the theory of semi-linear equations in the plane
за авторством: Ya. Gutlyanskiĭ, та інші
Опубліковано: (2019)

To the theory of semi-linear equations in the plane
за авторством: Gutlyanskii, V.Ya., та інші
Опубліковано: (2019)

On the canonical forms of a regular matrix pencil
за авторством: P. F. Samusenko
Опубліковано: (2020)

Algorithm to construct bifurcation structure of non-linear boundary problem for von Karman equations
за авторством: V. A. Gromov
Опубліковано: (2017)

T-Path Formula and Atomic Bases for Cluster Algebras of Type D
за авторством: Gunawan, E., та інші
Опубліковано: (2015)

A Combinatorial Formula for Certain Elements of Upper Cluster Algebras
за авторством: Lee, K., та інші
Опубліковано: (2015)

On boundary-value problems for semi-linear equations in the plane
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2021)

Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems.
за авторством: Kalinovsky, Ya. A., та інші
Опубліковано: (2019)

On quasiconformal maps and semi-linear equations in the plane
за авторством: V. Y. Gutlyanskii, та інші
Опубліковано: (2017)

On the Hilbert problem for semi-linear Beltrami equations
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2022)

On quasiconformal maps and semi-linear equations in the plane
за авторством: Gutlyanskii, V.Y., та інші
Опубліковано: (2017)

The completeness of the algorithm algebra with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Methodology of semi-supervised algorithm selection for classification problems
за авторством: V. Sineglazov, та інші
Опубліковано: (2022)

Reduced Forms of Linear Differential Systems and the Intrinsic Galois-Lie Algebra of Katz
за авторством: Barkatou, Moulay, та інші
Опубліковано: (2020)

On the one-side equivalence of matrices with given canonical diagonal form
за авторством: Shchedryk, Volodymyr
Опубліковано: (2018)