WolframAlpha computational knowledge AI
∫ e^(-ax^2) dx from -inf to +inf