Adaptive use of extended systems for the efficient verified solution of nonlinear systems / von Elke Just