MIT ODE class assignment here
http://math.mit.edu/classes/18.03/spr10/pset_04.pdf
talks about solving $\dot{x} + 2x = e^{3t}\cos(4t)$ and using ERF to do it. I know how to solve this using integrating factors, but what is ERF? The solution is below, but explicit steps are not mentioned.