Error bounds for initial value problems by optimization. - Qaisra Fazal; Arnold Neumaier (Soft Comput., 2013)