Reduction operators and completion of rewriting systems

DOI10.1016/j.jsc.2017.03.002zbMath1371.68136arXiv1605.00174OpenAlexW2962851192MaRDI QIDQ2399863

Cyrille Chenavier

Publication date: 24 August 2017

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

completionnoncommutative Gröbner basesreduction operators

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)

Related Items (3)

A lattice formulation of the noncommutative F4 procedure ⋮ Syzygies among reduction operators ⋮ Topological rewriting systems applied to standard bases and syntactic algebras

Uses Software

• BERGMAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Confluence algebras and acyclicity of the Koszul complex
• Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• History and basic features of the critical-pair/completion procedure
• The diamond lemma for ring theory
• Confluence and Koszulity
• Weakly confluent quadratic algebras
• An introduction to commutative and noncommutative Gröbner bases
• On theories with a combinatorial definition of 'equivalence'
• Representations of non-commutative quantum groups
• Term Rewriting and All That
• Koszul Resolutions
• Koszulity for nonquadratic algebras.

This page was built for publication: Reduction operators and completion of rewriting systems