WolframAlpha computational knowledge AI
sum m choose 2k, k=0 to m/2