An experiment in computer of the Banach-Tarski paradox on the lattice points of the plane
The 8th Algebra, Languages and Computation