Theorems
Solution of the one-dimensional heat equation
The iterated integral of the function erfc(z)
The solution to the initial value problem for the time-dependent Schroedinger equation