Cover Image

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

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Format:	Article
Language:	English
Published:	2018
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000926962
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

The replenishment algorithm in algebra of sets
by: M. S. Lvov, et al.
Published: (2021)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Simulation of the Wear Process of a Thin Coating of an Elastic Semi-Plane by Stamps of the Canonical Form
by: Максимук, Олександр, et al.
Published: (2022)

Selective Categories and Linear Canonical Relations
by: Li-Bland, D., et al.
Published: (2014)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: V. G. Akulovskij, et al.
Published: (2015)

Analog of the Cayley–Sylvester formula and the Poincaré series for an algebra of invariants of ternary form
by: Bedratyuk, L. P., et al.
Published: (2010)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Algebraic interaction theory and cyber-physical systems
by: A. A. Letichevskij
Published: (2017)

The Structure of a Sequential Method for Constructing Linear Convolution Algorithms With the Help of the HNS
by: Ja. A. Kalinovskij, et al.
Published: (2018)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
by: A. E. Doroshenko, et al.
Published: (2017)

Design of a terrain surface visualization program using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2019)

Design of a terrain surface visualization program using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2019)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
by: Ovdii, O.M.
Published: (2019)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
by: O. M. Ovdii
Published: (2019)

Semi-lattice of varieties of quasigroups with linearity
by: Sokhatsky, F. M., et al.
Published: (2021)

Semi-lattice of varieties of quasigroups with linearity
by: Sokhatsky, F.M., et al.
Published: (2021)

Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems
by: Ja. A. Kalinovskij, et al.
Published: (2018)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)

On the construction of cubature formulas invariant under dihedral groups
by: Shamsiev, E. A., et al.
Published: (2008)

Algorithm for estimating solutions of ill-conditioned systems linear algebraic equations
by: V. I. Masol, et al.
Published: (2018)

A Simple Proof of Sklyanin's Formula for Canonical Spectral Coordinates of the Rational Calogero-Moser System
by: Görbe, T.F.
Published: (2016)

Algorithm to construct bifurcation structure of non-linear boundary problem for von Karman equations
by: V. A. Gromov
Published: (2017)

On the canonical forms of a regular matrix pencil
by: P. F. Samusenko
Published: (2020)

On some relationships between the factors of the canonical central series of Leibniz algebras
by: L. A. Kurdachenko, et al.
Published: (2016)

A Top-Down Account of Linear Canonical Transforms
by: Wolf, K.B.
Published: (2012)

To the theory of semi-linear equations in the plane
by: Ya. Gutlyanskiĭ, et al.
Published: (2019)

On the Cartesian product of the Menger algebras of terms and relational formulas
by: Kumduang, Thodsaporn
Published: (2025)

On -Polynomials for Generalized Quantum Cluster Algebras and Gupta's Formula
by: Fu, Changjian, et al.
Published: (2024)

Exponential Formulas, Normal Ordering and the Weyl-Heisenberg Algebra
by: Meljanac, Stjepan, et al.
Published: (2021)

Exponential Formulas and Lie Algebra Type Star Products
by: Meljanac, S., et al.
Published: (2012)

The completeness of the algorithm algebra with data
by: V. G. Akulovskij, et al.
Published: (2016)

Recursive method for constructing linear convolution algorithms of various lengths using hypercomplex number systems.
by: Kalinovsky, Ya. A., et al.
Published: (2019)

The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)

A Poincaré Formula for Differential Forms and Applications
by: Ginoux, Nicolas, et al.
Published: (2023)

On boundary-value problems for semi-linear equations in the plane
by: V. Gutlyanskii, et al.
Published: (2021)

Methodology of semi-supervised algorithm selection for classification problems
by: V. Sineglazov, et al.
Published: (2022)

The Wehrheim-Woodward Category of Linear Canonical Relations between -Spaces
by: Weinstein, Alan
Published: (2024)