Login / Signup
Two Combinatorial Proofs of Identities Involving Sums of Powers of Binomial Coefficients.
John Engbers
Christopher J. Stocker
Published in:
Integers (2016)
Keyphrases
</>
linear combination
binary matrix
theorem prover
wavelet coefficients
random variables
neural network
formal proof
data sets
probabilistic model
basis functions
digital filters
natural deduction
mathematical proofs