This volume contains the proceedings of the LuCaNT (LMFDB, Computation, and Number Theory) conference held from July 10-14, 2023, at the Institute for Computational and …
We show that the generation problem in Thompson's group F is decidable, i.e., there is an algorithm which decides if a finite set of elements of F generates the whole F. The …