TY - RPRT TI - A computational approach to the Thompson group $F$ AU - S. Haagerup AU - U. Haagerup AU - M. Ramirez-Solano PY - 2015 DO - 10.1142/s0218196715500022 UR - https://arxiv.org/abs/1409.1486 ID - 1409.1486 ER -