Delay differential equations and continuation

In these lecture notes, we demonstrate how rigorous numerics can help studying the dynamics of delay equations. We present a rigorous continuation method for solutions of finite and infinite dimensional parameter dependent problems, which is applied to compute branches of periodic solutions of a delayed Van der Pol equation and of Wright's equation.