A Basic Theorem in the Computation of Ellipsoidal Error Bounds.
FEM discretizations of arbitrary order are considered for a singularly perturbed one-dimensional reaction-diffusion problem whose solution exhibits strong layers. A posteriori error bounds of interpolation type are derived in the maximum norm. An adaptive algorithm is devised to resolve the boundary layers. Numerical experiments complement our theoretical results.