Related papers: Groebner-Shirshov Basis for the Chinese Monoid
Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…
We describe how Groebner bases can be used to solve the reduction problem for Feynman integrals, i.e. to construct an algorithm that provides the possibility to express a Feynman integral of a given family as a linear combination of some…
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, for all monoids in which divisibility has some convenient lattice properties (``locally Garside monoids''). We show that, in the case of…
We consider a new version of Composition-Diamond Lemma for dialgebras in order to obtain an explicit Groebner-Shirshov basis for HNN-extension of dialgebras and determine a normal form for that.
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 establish the Gr\"{o}bner-Shirshov bases theory for metabelian Lie algebras. As applications, we find the Gr\"{o}bner-Shirshov bases for partial commutative metabelian Lie algebras related to circuits, trees and some…
In this paper, by using Composition-Diamond lemma for Lie algebras, we give a Gr\"obner-Shirshov basis for free partially commutative Lie algebra over a commutative ring with unit. As an application, we obtain a normal form for such a Lie…
In this paper we use the operadic framework to find Gr\"obner-Shirshov bases for the free quadri-algebra. We perform computations using the representation of the nonsymmetric operad by planar rooted trees in a very intuitive way.…
Algebraic cryptanalysis usually requires to recover the secret key by solving polynomial equations. Grobner bases algorithm is a well-known method to solve this problem. However, a serious drawback exists in the Grobner bases based…
An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gr\"{o}bner-Shirshov bases, we characterize completely the…
Experiences with the implementation of strong Gr\"obner bases respectively standard bases for polynomial rings over principal ideal rings are explained: different strategies for creating the pair set, methods to avoid coefficient growth and…
In this paper, we give a Gr\"obner-Shirshov basis of the braid group $B_{n+1}$ in Adyan-Thurston generators. We also deal with the braid group of type $\bf{B}_{n}$. As results, we obtain a new algorithm for getting the Adyan-Thurston normal…
We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture, and describe completely the solution set.
We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum…
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gr\"{o}bner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish…
In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…
In this survey article, we report some new results of Gr\"obner-Shirshov bases, including new Composition-Diamond lemmas and some applications of some known Composition-Diamond lemmas.
Determining the global minimum of Higgs potentials with several Higgs fields like the next-to-minimal supersymmetric extension of the Standard Model (NMSSM) is a non-trivial task already at the tree level. The global minimum of a Higgs…
We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…
In this paper, we establish the Composition-Diamond lemma for right-symmetric algebras. As an application, we give a Gr\"{o}bner-Shirshov basis for universal enveloping right--symmetric algebra of a Lie algebra.