Related papers: Digitalization of exceptional simple Lie algebras …
We discuss the deal of imperfectness of atomic actions in reality with the background of process algebras. And we show the applications of the imperfect actions in verification of computational systems.
We present some recently discovered infinite dimensional Lie algebras that can be understood as extensions of the algebra Map(M,g) of maps from a compact p-dimensional manifold to some finite dimensional Lie algebra g. In the first part of…
Multiplication of a sparse matrix with another (dense or sparse) matrix is a fundamental operation that captures the computational patterns of many data science applications, including but not limited to graph algorithms, sparsely connected…
A purely algebraic algorithm for computation of invariants (generalized Casimir operators) of Lie algebras by means of moving frames is discussed. Results on the application of the method to computation of invariants of low-dimensional Lie…
A random matrix is likely to be well conditioned, and motivated by this well known property we employ random matrix multipliers to advance some fundamental matrix computations. This includes numerical stabilization of Gaussian elimination…
Let $A$ be an $n \times n$ matrix with rational entries and let \[ \mathbb{Z}^n[A] := \bigcup_{k=1}^{\infty} \left( \mathbb{Z}^n + A\mathbb{Z}^n + \dots + A^{k-1}\mathbb{Z}^n\right) \] be the minimal $A$-invariant $\mathbb{Z}$-module…
In discrete signal and image processing, many dilations and erosions can be written as the max-plus and min-plus product of a matrix on a vector. Previous studies considered operators on symmetrical, unbounded complete lattices, such as…
For a finite dimensional simple complex Lie algebra $\mathfrak{g}$, Lie bialgebra structures on $\mathfrak{g}[[u]]$ and $\mathfrak{g}[u]$ were classified by Montaner, Stolin and Zelmanov. In our paper, we provide an explicit algorithm to…
The paper describes two iterative algorithms for solving general systems of M simultaneous linear algebraic equations (SLAE) with real matrices of coefficients. The system can be determined, underdetermined, and overdetermined. Linearly…
We present an extended version of max-plus algebra which includes the inverse operator of "max". This algebra enables us to ultra-discretize the system including subtractions and obtain new ultra-discrete equations. The known ultra-discrete…
Most numerical solvers and libraries nowadays are implemented to use mathematical models created with language-specific built-in data types (e.g. real in Fortran or double in C) and their respective elementary algebra implementations.…
Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category…
We construct the well-known decomposition of the Lie algebra $\mathfrak{e}_8$ into representations of $\mathfrak{e}_6\oplus\mathfrak{su}(3)$ using explicit matrix representations over pairs of division algebras. The minimal representation…
We describe the Lie algebra deformations of D=4 Maxwell superalgebra that was recently introduced as the symmetry algebra of a kappa-symmetric massless superparticle in a supersymmetric constant electromagnetic background. Further we…
A novel algebra underlying integrable systems is shown to generate and unify a large class of quantum integrable models with given $R$-matrix, through reductions of an ancestor Lax operator and its different realizations. Along with known…
Differential-difference integrable exponential type systems are studied corresponding to the Cartan matrices of semi-simple or affine Lie algebras. For the systems corresponding to the algebras $A_2$, $B_2$, $C_2$, $G_2$ the complete sets…
Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research…
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple…
Conventional ways to solve optimization problems on low-rank matrix sets which appear in great number of applications ignore its underlying structure of an algebraic variety and existence of singular points. This leads to appearance of…