Related papers: Rota's Classification Problem, rewriting systems a…
Consider the class RBLie of Lie algebras equipped with a Rota---Baxter operator. Then the forgetful functor RBLie --> Lie has a left adjoint one denoted by $U_{RB}(\cdot)$. We prove an "operator" analogue of the Poincare---Birkhoff---Witt…
This paper presents a conception for computing gr\"{o}bner basis. We convert some of gr\"{o}bner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem…
In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gr\"obner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative…
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…
The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of…
Integrable integral operator can be studied by means of a matrix Riemann--Hilbert problem. However, in the case of so-called integrable operators with shifts, the associated Riemann--Hilbert problem becomes operator valued and this…
The word problem for an arbitrary associative Rota-Baxter algebra is solved. This leads to a noncommutative generalization of the classical Spitzer identities. Links to other combinatorial aspects, particularly of interest in physics, are…
We design a new iterative algorithm, called REINFORCE-OPT, for solving a general type of optimization problems. This algorithm parameterizes the solution search rule and iteratively updates the parameter using a reinforcement learning (RL)…
In bracket algebra, the calculation of invariant division and invariant Gr\"{o}bner basis proposed in \cite{li 2014} rely on straightening algorithm. Until now, there are at least three different types of straightening algorithms, among…
We develop the connection between Rota-Baxter operators arisen from algebra and mathematical physics and Bernoulli polynomials. We state that a trivial property of Rota-Baxter operators implies the symmetry of the power sum polynomials and…
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on…
In this paper, we establish some basic properties of certain operators (element of centroids, averaging operators, derivations, Nijenhuis operators, Rota-Baxter operators) on (compatible) ternary Leibniz algebras and give the classification…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
Logically constrained term rewriting is a relatively new rewriting formalism that naturally supports built-in data structures, such as integers and bit vectors. In the analysis of logically constrained term rewrite systems (LCTRSs),…
We present a structure associated to the class of linear codes. The properties of that structure are similar to some structures in the linear algebra techniques into the framework of the Gr\"obner bases tools. It allows to get some insight…
Parameter identification problems typically consist of a model equation, e.g. a (system of) ordinary or partial differential equation(s), and the observation equation. In the conventional reduced setting, the model equation is eliminated…
Complexity and decidability of logics is a major research area involving a huge range of different logical systems. This calls for a unified and systematic approach for the field. We introduce a research program based on an algebraic…
Integral operators of Abel type of order a > 0 arise naturally in a large spectrum of physical processes. Their inversion requires care since the resulting inverse problem is ill-posed. The purpose of this work is to devise and analyse a…
We start with a Riemann-Hilbert Problems (RHP) with canonical normalization whose sewing functions depends on several additional variables. Using Zakharov-Shabat theorem we are able to construct a family of ordinary differential operators…
In this paper, we elaborate Gr\"obner-Shirshov bases method for Leibniz (super)algebras. We show that there is a unique reduced Gr\"obner-Shirshov basis for every (graded) ideal of a free Leibniz (super)algebra. As applications, we…