conditions for the efficiency and asymptotic exactness of the error estimators, constructs an approximation by the method of … hypercircle such that its error can be computed exactly, and presents numerical tests showing robustness of these approaches. …