Infinite generation of the kernels of the Magnus and Burau representations
by Thomas Church and Benson Farb
On this page you can find the above paper, together with an executable program implementing certain computations in the braid group, whose output is used in the last section of the paper.
Infinite generation of the kernels of the Magnus and Burau representations (arXiv link or PDF version).
InfiniteGeneration.nb, a Mathematica notebook implementing the computations used in Section 4.