K Madlener, B Reinert - Symbolic rewriting techniques, 1997 - Springer
The concept of algebraic simplification is of great importance for the field of symbolic computation in computer algebra. In this paper we review some fundamental concepts …
A Boolean term order is a total order on subsets of [n]={1,..., n} such that∅≺ α for all α [n], α≠∅, and α≺ β⇒ α∪ γ≺ β∪ γ for all γ with γ∩(α∪ β)=∅. Boolean term orders arise in …
B Reinert - arXiv preprint arXiv:0903.5044, 2009 - arxiv.org
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 …
A Almousa, V Reiner, S Sundaram - arXiv preprint arXiv:2404.10858, 2024 - arxiv.org
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand …
LA Bokut, Y Chen, Y Chen - Journal of Algebra, 2010 - Elsevier
In this paper, we establish a Composition–Diamond lemma for the tensor product k〈 X〉⊗ k〈 Y〉 of two free algebras over a field. As an application, we construct a Gröbner–Shirshov …
The problem of choosing efficient algorithms and good admissible orders for computing Grobner bases in noncommutative algebras is considered. Grobner bases are an important …
D Hartley, P Tuckey - Journal of Symbolic Computation, 1995 - Elsevier
We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to …
Alternatives in implementing systems for computing Grabner bases of two-sided ideals in noncommutative algebras (presented as path algebras) are considered and compared …