de Rauglaudre, Daniel. “Formal Proof of Banach-Tarski Paradox”. Journal of Formalized Reasoning 10, no. 1 (January 1, 2017): 37–49. Accessed November 21, 2024. https://jfr.unibo.it/article/view/6927.