16 citations · 69 across the 23 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CO2022
Red sizes of quivers
Eric Bucher, John Machacek
In this article, we will expand on the notions of maximal green and reddening sequences for quivers associated to cluster algebras. The existence of these sequences has been studie…
cs.FL2022
Mechanical proving with Walnut for squares and cubes in partial words
John Machacek
Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as wel…