Decidability of flow equivalence and isomorphism problems for graph C*-algebras and quiver representations

Mike Boyle, Benjamin Steinberg

We note that the deep results of Grunewald and Segal on algorithmic problems for arithmetic groups imply the decidability of several matrix equivalence problems involving poset-blo…