Login / Signup

Formal Proof of Banach-Tarski Paradox.

Daniel de Rauglaudre
Published in: J. Formaliz. Reason. (2017)
Keyphrases
  • formal proof
  • theorem prover
  • artificial intelligence