Pages that link to "Item:Q2272945"
From MaRDI portal
The following pages link to Convergent presentations and polygraphic resolutions of associative algebras (Q2272945):
Displayed 15 items.
- Koszul calculus for \(N\)-homogeneous algebras (Q1628500) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- A lattice formulation of the noncommutative F4 procedure (Q4629508) (← links)
- KOSZUL CALCULUS (Q4636389) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Operads with compatible CL-shellable partition posets admit a Poincaré–Birkhoff–Witt basis (Q5158114) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- Coherence for plactic monoids via rewriting theory and crystal structures (Q6187527) (← links)