2 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
J. O. Button
We present an algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We use this to prove that a mapp…