45 citations · 190 across the 20 of their papers we have counts for
Showing 2020 · math.CTShow all
2 papers · 2 filters
math.CT2020
Shuffle polygraphic resolutions for operads
Philippe Malbos, Isaac Ren
Shuffle operads were introduced to forget the symmetric group actions on symmetric operads while preserving all possible operadic compositions. Rewriting methods were then applied…
math.CT2020
Confluence of algebraic rewriting systems
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are b…