Two-sided solution of ODE's via a posteriori error estimates

From MaRDI portal