45 citations · 190 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.CT2014★ 24 cited
Convergent presentations and polygraphic resolutions of associative algebras
Yves Guiraud, Eric Hoffbeck, Philippe Malbos
Several constructive homological methods based on noncommutative Gröbner bases are known to compute free resolutions of associative algebras. In particular, these methods relate th…
math.CT2014★ 40 cited
Polygraphs of finite derivation type
Yves Guiraud, Philippe Malbos
Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this r…