WolframAlpha computational knowledge AI
int e^(-a t^2) dt, t=0..a