Modular techniques for noncommutative Gröbner bases

DOI10.1007/s11786-019-00412-9zbMath1460.16053arXiv1704.02852OpenAlexW2990667365MaRDI QIDQ2183734

Viktor Levandovskyy, Sharwan K. Tiwari, Christian Eder, Wolfram Decker

Publication date: 27 May 2020

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.02852

zbMATH Keywords

noncommutative Gröbner basesPBW-algebras\(G\)-algebrasmodular techniques

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04) Gröbner-Shirshov bases (16Z10)

Related Items (1)

Standard bases for modules over polynomial subalgebras

Uses Software

• Plural
• SINGULAR
• SymbolicData

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive \(D\)-module theory with \texttt{Singular}
• The ideal membership problem in non-commutative polynomial rings
• Non-commutative Gröbner bases in algebras of solvable type
• Elimination orderings and localization in PBW algebras.
• An introduction to commutative and noncommutative Gröbner bases
• Modular algorithms for computing Gröbner bases.
• Noncommutative Gröbner bases and filtered-graded transfer.
• Usage of modular techniques for efficient computation of ideal operations
• Buchberger-Zacharias theory of multivariate Ore extensions
• Parallelization of modular algorithms
• Gröbner bases and syzygies on bimodules over PBW algebras
• Output-sensitive modular algorithms for polynomial matrix normal forms
• Das Lemma von Poincaré für holomorphe Differentialformen auf komplexen Räumen
• Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
• Buchberger-Weispfenning theory for effective associative rings
• Gröbner basis and the problem of contiguous relations
• Some comments on the modular approach to Gröbner-bases
• On Two-Generated Non-commutative Algebras Subject to the Affine Relation
• The use of bad primes in rational reconstruction
• Re-filtering and exactness of the Gelfand-Kirillov dimension

This page was built for publication: Modular techniques for noncommutative Gröbner bases