Related papers: Gr\"obner $\delta$-bases and Gr\"obner bases for d…

This contribution is mainly based on joint papers with Lepowsky and Milas, and some parts of these papers are reproduced here. These papers further extended works by Lepowsky and by Milas. Following our joint papers, I explain the general…

It is known that if $A$ is a finite-dimensional unital algebra equipped with a Rota-Baxter operator $R$ of weight $\lambda$, then spectrum of $R$ is a subset of $\{0,-\lambda\}$. We are interested on finding all consequences of the…

Assuming sufficiently many terms of a n-dimensional table defined over a field are given, we aim at guessing the linear recurrence relations with either constant or polynomial coefficients they satisfy. In many applications, the table terms…

In this paper, we firstly give a matrix approach to the bases of a separable Hilbert space and then correct a mistake appearing in both review and the English translation of the Olevskii's paper. After this, we show that even a diagonal…

In this paper we compute Gr\"obner bases for determinantal ideals of the form $I_{1}(XY)$, where $X$ and $Y$ are both matrices whose entries are indeterminates over a field $K$. We use the Gr\"obner basis structure to determine Betti…

This is a short survey on the connection between general extension theories and the study of realizations of elliptic operators A on smooth domains in R^n, n > 1. The theory of pseudodifferential boundary problems has turned out to be very…

A major part of this paper is devoted to an in-depth study of j-operators and their properties. This study enables us to obtain several results on liftings and weak liftings of DG modules along simple extensions of DG algebras and unify the…

A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

Given a set $A$ and an abelian group $B$ with operators in $A$, in the sense of Krull and Noether, we introduce the Ore group extension $B[x; \sigma_B, \delta_B]$ as the additive group $B[x]$, with $A[x]$ as a set of operators. Here, the…

We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.

In this paper, we investigate the power of nearly purely operational techniques in the study of umbral calculus. We present a concise reconstruction of the theory based on a systematic use of linear operators, with particular attention to…

If $k$ is a field and $R$ is a commutative $k$-algebra, we explore the question of when the ring $D_{R|k}$ of $k$-linear differential operators on $R$ is isomorphic to its opposite ring. Under mild hypotheses, we prove this is the case…

Let $r$ be a positive integer, $N$ be a nonnegative integer and $\Omega \subset \mathbb{R}^{r}$ be a domain. Further, for all multi-indices $\alpha \in \mathbb{N}^{r}$, $|\alpha|\leq N$, let us consider the partial differential operator…

This paper is a sequel to "Computing diagonal form and Jacobson normal form of a matrix using Groebner bases", J. of Symb. Computation, 46 (5), 2011. We present a new fraction-free algorithm for the computation of a diagonal form of a…

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…

There is a relatively well-known description of the algebra of (higher order) left differential operators on commutative algebras. This note gives a construction of similar flavor for algebras of differential operators on not necessarily…

Many rings and algebras arising in quantum mechanics, algebraic analysis, and non-commutative algebraic geometry can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. In the present paper we study two aspects of these…

Gr\"{o}bner bases are nowadays central tools for solving various problems in commutative algebra and algebraic geometry. A typical use of Gr\"{o}bner bases is the multivariate polynomial system solving, which enables us to construct…

Let $A=K[a_1,\ldots,a_n]$ be a weighted $\mathbb{N}$-filtered solvable polynomial algebra with filtration $FA=\{ F_pA\}_{p\in\mathbb{N}}$, where solvable polynomial algebras are in the sense of (A. Kandri-Rody and V. Weispfenning,…