Related papers: Gr\"obner $\delta$-bases and Gr\"obner bases for d…
Following the definitions of the algebras of differential operators, $\beta$-differential operators, and the quantum differential operators on a noncommutative (graded) algebra given in \cite{LR}, we describe these operators on the free…
We present here a new approach for computing Gr\"obner bases for bilateral modules over an effective ring. Our method is based on Weispfenning notion of restricted Gr\"obner bases and related multiplication.
Let $D:\Omega\xrightarrow{}\Omega$ be a differential operator defined in the exterior algebra $\Omega$ of differential forms over the polynomial ring $S$ in $n$ variables. In this work we give conditions for deforming the module structure…
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…
We present an implementation of the algorithm for computing Groebner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data…
In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
In this paper we will define analogs of Gr\"obner bases for $R$-subalgebras and their ideals in a polynomial ring $R[x_1,\ldots,x_n]$ where $R$ is a noetherian integral domain with multiplicative identity and in which we can determine ideal…
In this paper, we establish the Composition-Diamond lemma for $\lambda$-differential associative algebras over a field $K $ with multiple operators. As applications, we obtain Gr\"{o}bner-Shirshov bases of free $\lambda$-differential…
We give an introduction to the theory of determinantal ideals and rings, their Groebner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The…
In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal…
In this paper, we propose the concept of an $\Omega$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $\Omega$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis…
The present paper shall provide a framework for working with Gr\"obner bases over arbitrary rings $k$ with a prescribed finite standard set $\Delta$. We show that the functor associating to a $k$-algebra $B$ the set of all reduced Gr\"obner…
Let $F$ be a non-negatively graded free module over a polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. Let $M$ be a submodule of $F$ generated by elements in $F$ with degrees bounded by $D$ and dim $F/M$=$r$. We…
A universal Gr\"obner basis of an ideal is the union of all its reduced Gr\"obner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp…
Gr\"obner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field…
We give a natural generalization of the classification of commutative rings of ordinary differential operators, given in works of Krichever, Mumford, Mulase, and determine commutative rings of operators in a completed ring of partial…
For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…
In this paper, the main purpose is to consider a number of results concerning boundedness of multilinear fractional Calder\'{o}n-Zygmund operators with kernels of mild regularity. Let $T_{\alpha}$ be a multilinear fractional…
Let $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over a field $K$, and let $R\langle X\rangle =R\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over an arbitrary commutative ring…