What is the integral $$ \int_0^1 \exp(-a^2 (x-y)^2)) \, d x $$ According to mathematica it equals $$ \frac{\sqrt{\pi } (\text{erf}(a y)+\text{erf}(a(1- y)))}{2 a} $$
But how can this be proven? This must have been done somewhere, can you give me a reference? Thanks!