A Formal Proof of the Banach-Tarski Theorem in ACL2(r).

J. Bapanapally R. Gamboa

Published in: ISAIM (2022)

Keyphrases

formal proof
theorem prover
natural language learning
von neumann
database
data sets
neural network
machine learning
data mining
learning environment
model checking
digital topology