Related papers: Rota's program on algebraic operators, rewriting s…
Recently, inverse problems have attracted more and more attention in computational mathematics and become increasingly important in engineering applications. After the discretization, many of inverse problems are reduced to linear systems.…
In the paper, developing the idea of V. Sokolov et all. (J.Math.Phys. 40 (1999)6473 we construct recursion operators and hereditary algebra of symmetries for many field and lattice systems.
In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…
The theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…
In the paper, we introduce the notion of a Rota-Baxter operator of a non-scalar weight. As a motivation, we show that there is a natural connection between Rota-Baxter operators of this type and structures of quasitriangular Lie bialgebras…
We introduce an algebraic methodology for designing exactly-solvable Lie model Hamiltonians. The idea consists in looking at the algebra generated by bond operators. We illustrate how this method can be applied to solve numerous problems of…
Much recent work has addressed the solution of a family of partial differential equations by computing the inverse operator map between the input and solution space. Toward this end, we incorporate function-valued reproducing kernel Hilbert…
Representations and relative Rota-Baxter operators with respect to representations of Hom-Leibniz Poisson algebras are introduced and studied. Some characterizations of these operators are obtained. The notion of matched pair and Nijenhuis…
We propose an operadic framework suitable for describing algebraic structures with operations being multilinear differential operators of varying orders or, more generally, formal series of such operators. The framework is built upon the…
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of $L^2(\mathbb{R})$, which are made of translations and modulations of one or more windows, are…
We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gr\"obner bases are used to design numerical algorithms for maximum…
Existing multi-expert LLM systems gather diverse perspectives but combine them through simple aggregation, obscuring which arguments drove the final decision. We introduce ARGORA, a framework that organizes multi-expert discussions into…
We present an approach to the computation of confluent systems of defining relations in associative conformal algebras based on the similar technique for modules over ordinary associative algebras.
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
We know definition of Rota--Baxter operators on different algebraic systems. For examples, on groups, on algebras, on Hopf algebras. On some algebraic systems it is possible to define different types of Rota--Baxter operators. For example,…
Machine learning has opened new frontiers in purely data-driven algorithms for data assimilation in, and for forecasting of, dynamical systems; the resulting methods are showing some promise. However, in contrast to model-driven algorithms,…
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of…
This study aims to generalize the notion of compatible Lie algebras to the compatible Lie Yamaguti algebras. Along with describing the representation of the compatible Lie Yamaguti algebra in detail, we also introduce the Maurer-Cartan…
This paper proposes a modal typing system that enables us to handle self-referential formulae, including ones with negative self-references, which on one hand, would introduce a logical contradiction, namely Russell's paradox, in the…