Guaranteed and locally computable a posteriori error estimate | OUP Journals & Magazine | IEEE Xplore