Login / Signup
Another Proof of the Binomial Theorem.
Jitender Singh
Published in:
Am. Math. Mon. (2017)
Keyphrases
</>
interactive theorem proving
linear logic
theorem proving
probability distribution
mobile robot
von neumann
learning automata
data sets
real time
objective function
evolutionary algorithm
database
multiscale
theorem prover
bayesian networks
database systems
artificial intelligence
automated theorem proving