An experiment in computer of the Banach-Tarski paradox on the lattice points of the plane
-
数理解析研究所講究録(第8回「代数、言語と計算」シンポジウム)
1437
45
52