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 |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
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)
за авторством: M. S. Lvov, та інші
Опубліковано: (2021)
Simulation of the Wear Process of a Thin Coating of an Elastic Semi-Plane by Stamps of the Canonical Form
за авторством: Максимук, Олександр, та інші
Опубліковано: (2022)
за авторством: Максимук, Олександр, та інші
Опубліковано: (2022)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)
Algebraic interaction theory and cyber-physical systems
за авторством: A. A. Letichevskij
Опубліковано: (2017)
за авторством: A. A. Letichevskij
Опубліковано: (2017)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
Semi-lattice of varieties of quasigroups with linearity
за авторством: Sokhatsky, F. M., та інші
Опубліковано: (2021)
за авторством: Sokhatsky, F. M., та інші
Опубліковано: (2021)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
за авторством: A. E. Doroshenko, та інші
Опубліковано: (2017)
за авторством: A. E. Doroshenko, та інші
Опубліковано: (2017)
T-Path Formula and Atomic Bases for Cluster Algebras of Type D
за авторством: Gunawan, E., та інші
Опубліковано: (2015)
за авторством: Gunawan, E., та інші
Опубліковано: (2015)
Algorithm for estimating solutions of ill-conditioned systems linear algebraic equations
за авторством: V. I. Masol, та інші
Опубліковано: (2018)
за авторством: V. I. Masol, та інші
Опубліковано: (2018)
The Structure of a Sequential Method for Constructing Linear Convolution Algorithms With the Help of the HNS
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)
On some relationships between the factors of the canonical central series of Leibniz algebras
за авторством: L. A. Kurdachenko, та інші
Опубліковано: (2016)
за авторством: L. A. Kurdachenko, та інші
Опубліковано: (2016)
On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: Ovdii, O.M.
Опубліковано: (2019)
за авторством: Ovdii, O.M.
Опубліковано: (2019)
On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: O. M. Ovdii
Опубліковано: (2019)
за авторством: O. M. Ovdii
Опубліковано: (2019)
Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)
Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)
To the theory of semi-linear equations in the plane
за авторством: Ya. Gutlyanskiĭ, та інші
Опубліковано: (2019)
за авторством: Ya. Gutlyanskiĭ, та інші
Опубліковано: (2019)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
On the canonical forms of a regular matrix pencil
за авторством: P. F. Samusenko
Опубліковано: (2020)
за авторством: P. F. Samusenko
Опубліковано: (2020)
Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2018)
On quasiconformal maps and semi-linear equations in the plane
за авторством: V. Y. Gutlyanskii, та інші
Опубліковано: (2017)
за авторством: V. Y. Gutlyanskii, та інші
Опубліковано: (2017)
On the Hilbert problem for semi-linear Beltrami equations
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2022)
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2022)
On boundary-value problems for semi-linear equations in the plane
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2021)
за авторством: V. Gutlyanskii, та інші
Опубліковано: (2021)
About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)
за авторством: Lvov, M.S.
Опубліковано: (2025)
Algorithm to construct bifurcation structure of non-linear boundary problem for von Karman equations
за авторством: V. A. Gromov
Опубліковано: (2017)
за авторством: V. A. Gromov
Опубліковано: (2017)
The completeness of the algorithm algebra with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)
The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
Semi linear equations in a plane and quasiconformal mappings
за авторством: Ya. Gutlyanskiĭ, та інші
Опубліковано: (2017)
за авторством: Ya. Gutlyanskiĭ, та інші
Опубліковано: (2017)
Asymptotically optimal estimator of the parameter of semi-linear autoregression
за авторством: Ivanenko, D.
Опубліковано: (2007)
за авторством: Ivanenko, D.
Опубліковано: (2007)
Modern methods and software systems of molecular modeling and application of behavior algebra
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)
Methodology of semi-supervised algorithm selection for classification problems
за авторством: V. Sineglazov, та інші
Опубліковано: (2022)
за авторством: V. Sineglazov, та інші
Опубліковано: (2022)
Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems.
за авторством: Kalinovsky, Ya. A., та інші
Опубліковано: (2019)
за авторством: Kalinovsky, Ya. A., та інші
Опубліковано: (2019)
On the one-side equivalence of matrices with given canonical diagonal form
за авторством: Shchedryk, Volodymyr
Опубліковано: (2018)
за авторством: Shchedryk, Volodymyr
Опубліковано: (2018)
Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry
за авторством: M. S. Lvov
Опубліковано: (2022)
за авторством: M. S. Lvov
Опубліковано: (2022)
Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
Monogenic functions in a three-dimensional harmonic semi-simple algebra
за авторством: R. P. Pukhtaievych
Опубліковано: (2013)
за авторством: R. P. Pukhtaievych
Опубліковано: (2013)
Схожі ресурси
-
The replenishment algorithm in algebra of sets
за авторством: M. S. Lvov, та інші
Опубліковано: (2021) -
Simulation of the Wear Process of a Thin Coating of an Elastic Semi-Plane by Stamps of the Canonical Form
за авторством: Максимук, Олександр, та інші
Опубліковано: (2022) -
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025) -
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017) -
On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)