Topological rewriting systems applied to standard bases and syntactic algebras
From MaRDI portal
Publication:2295395
DOI10.1016/j.jalgebra.2019.12.007zbMath1461.68097arXiv1907.06394OpenAlexW2995192578WikidataQ126533322 ScholiaQ126533322MaRDI QIDQ2295395
Publication date: 13 February 2020
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.06394
Ordinary and skew polynomial rings and semigroup rings (16S36) Algebraic theory of languages and automata (68Q70) Grammars and rewriting systems (68Q42) Formal power series rings (13F25)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Confluence algebras and acyclicity of the Koszul complex
- Higher-dimensional normalisation strategies for acyclicity
- Non-commutative Gröbner bases in algebras of solvable type
- Stability and Buchberger criterion for standard bases in power series rings
- Complete rewriting systems and homology of monoid algebras
- Gröbner bases for operads
- Word problems and a homological finiteness condition for monoids
- Series formelles et algèbres syntactiques
- The diamond lemma for ring theory
- Confluence and Koszulity
- On Gröbner bases of noncommutative power series
- An introduction to commutative and noncommutative Gröbner bases
- Syzygies among reduction operators
- Convergent presentations and polygraphic resolutions of associative algebras
- Resolution of singularities of an algebraic variety over a field of characteristic zero. II
- Reduction operators and completion of rewriting systems
- Algorithmic operator algebras via normal forms in tensor rings
- Representations of non-commutative quantum groups
- Polygraphs of finite derivation type
- On the Homology of Associative Algebras
- A lattice formulation of the noncommutative F4 procedure
- Term Rewriting and All That
- Coherent presentations of Artin monoids
- Koszul Resolutions
- Koszulity for nonquadratic algebras.
This page was built for publication: Topological rewriting systems applied to standard bases and syntactic algebras
