Algorithms for groups of homeomorphisms