WolframAlpha computational knowledge AI
sum of binom (n-1,j-1) * binom (m+1,j-m) for j=m..n