Simplifying Biniomials with functions
1158
How to prove this binomial identity $\sum_{r=0}^n {r {n \choose r}} = n2^{n-1}$?
122504
Factorisations of permutations
83679
Writing a non symmetrical function as an even or odd function
45862
Nested sum of binomial coefficient in closed form
94784
$\sum_{k=-m}^{n} \binom{m+k}{r} \binom{n-k}{s} =\binom{m+n+1}{r+s+1}$ using Counting argument
151085
Simplify the sum $ \sum_{i=0}^{k}(-1)^i i \binom{n}{i} \binom{n}{k-i}$
118674
Simple upper bound for $\binom{n}{k}$
17551
Truncated alternating binomial sum
48200
Simplify $\sum_{i=0}^n (i+1)\binom ni$
12852
How to simplify complicated Recursion.
66019
Revisited: Binomial Theorem: An Inductive Proof
64658
How many associative binary operations for a set of two elements?
145091
EM with Binomial
4931
variation of the binomial theorem
87589
Evaluate $\binom{n}{0}+\binom{n}{2}+\binom{n}{4}+...+\binom{n}{2k}$
26569
Counting binary operations on a set with $n$ elements
34374
Simplifying factorials: $\frac{(n-1)!}{(n-2)!}$