Pages that link to "Item:Q2272945"

The following pages link to Convergent presentations and polygraphic resolutions of associative algebras (Q2272945):

Displaying 20 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)
• On the Golod property of Stanley-Reisner rings (Q2456183) (← 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)
• Free precategories as presheaf categories (Q6575458) (← links)
• Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
• Tangent complexes and the Diamond Lemma (Q6660257) (← links)
• Completion in operads via essential syzygies (Q6666551) (← links)