WolframAlpha computational knowledge AI
integrate exp(-x^2) from x0 to inf