Definition:Error Function

Definition
The error function is the following improper integral, considered as a real function:


 * $\map {\erf} x = \displaystyle \dfrac 2 {\sqrt \pi} \int_0^x \map \exp {-t^2} \rd t$

where $\exp$ is the real exponential function.