WolframAlpha computational knowledge AI
sum of k^2, k from 1 to n