Login / Signup
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