1: \begin{abstract}

2: We propose a numerical method for studying the cogrowth of finitely presented

3: groups. To validate our numerical results we compare them against the

4: corresponding data from groups whose cogrowth series are known exactly. Further,

5: we add to the set of such groups by finding the cogrowth series for

6: Baumslag-Solitar groups $\mathrm{BS}(N,N) = \langle a,b | a^N b = b a^N \rangle$ and

7: prove that their cogrowth rates are algebraic numbers. 

8: %We then apply our method to groups where an exact form for the cogrowth series is unknown -- Baumslag-Solitar groups $\mathrm{BS}(M,N)$ where $M\neq N$, and Thompson's group $F$. 

9: 

10: 

11: %We have been unable to find

12: %the cogrowth series for other Baumslag-Solitar groups, but we have found

13: %recurrences that yield the first few terms of the cogrowth series exponentially

14: %faster than is possible by naive methods.  %Finally we apply our numerical method

15: %to several presentations of Thompson's group $F$ and our results give strong

16: %indication that the group is not amenable.

17: 

18: 

19: \end{abstract}

20: