Methods that can be used to analyze quantum field theories when they cannot be solved using perturbation theory.