Explosive Proofs of Mathematical Truths.

Scott Viteri Simon DeDeo

Published in: CoRR (2020)

Keyphrases

mathematical proofs
mathematical knowledge
automated theorem provers
computer algebra
theorem proving
theorem prover
computer software
data structure
information retrieval
formal proofs
multiresolution
real time
mathematical modeling
natural deduction
multi agent
case study
neural network