Proof of Sun's Conjecture on the Divisibility of Certain Binomial Sums.

Victor J. W. Guo

Published in: Electron. J. Comb. (2013)

Keyphrases

data sets
learning automata
linear logic
databases
random variables
neural network
probability distribution
theorem prover
theorem proving
real time
machine learning
learning algorithm
image processing
search algorithm
information technology