WolframAlpha computational knowledge AI
sum(C(a,i)*C(b,n-i), i=0..n) = C(a+b,n)