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