M. Ainsworth, Robust A Posteriori Error Estimation for Nonconforming Finite Element Approximation, SIAM Journal on Numerical Analysis, vol.42, issue.6, pp.2320-2341, 2005.
DOI : 10.1137/S0036142903425112

M. Arioli, E. H. Georgoulis, and D. Loghin, Stopping Criteria for Adaptive Finite Element Solvers, SIAM Journal on Scientific Computing, vol.35, issue.3, pp.1537-1559, 2013.
DOI : 10.1137/120867421

M. Arioli, J. Liesen, A. Mie¸dlarmie¸dlar, and Z. Strako?, Interplay between discretization and algebraic computation in adaptive numerical solutionof elliptic PDE problems, GAMM-Mitteilungen, vol.36, issue.1, pp.102-129, 2013.
DOI : 10.1002/gamm.201310006

I. Babu?ka and T. Strouboulis, The finite element method and its reliability, Numerical Mathematics and Scientific Computation, 2001.

R. Becker, C. Johnson, and R. Rannacher, Adaptive error control for multigrid finite element methods, Computing, pp.55-271, 1995.

R. Becker and S. Mao, Convergence and quasi-optimal complexity of a simple adaptive finite element method, ESAIM: Mathematical Modelling and Numerical Analysis, vol.43, issue.6, pp.1203-1219, 2009.
DOI : 10.1051/m2an/2009036
URL : https://hal.archives-ouvertes.fr/inria-00437458

R. Becker, S. Mao, and Z. Shi, A Convergent Nonconforming Adaptive Finite Element Method with Quasi-Optimal Complexity, SIAM Journal on Numerical Analysis, vol.47, issue.6, pp.47-4639, 2010.
DOI : 10.1137/070701479
URL : https://hal.archives-ouvertes.fr/inria-00438541

M. Berndt, T. A. Manteuffel, and S. F. Mccormick, Local error estimates and adaptive refinement for first-order system least squares (FOSLS), Electron. Trans. Numer. Anal, vol.6, pp.35-43, 1997.

D. Braess, V. Pillwein, and J. Schöberl, Equilibrated residual error estimates are p-robust, Computer Methods in Applied Mechanics and Engineering, vol.198, issue.13-14, pp.1189-1197, 2009.
DOI : 10.1016/j.cma.2008.12.010

D. Braess and J. Schöberl, Equilibrated residual error estimator for edge elements, Mathematics of Computation, vol.77, issue.262, pp.651-672, 2008.
DOI : 10.1090/S0025-5718-07-02080-7

C. Burstedde and A. Kunoth, A wavelet-based nested iteration???inexact conjugate gradient algorithm for adaptively solving elliptic PDEs, Numerical Algorithms, vol.26, issue.1, pp.48-161, 2008.
DOI : 10.1007/s11075-008-9164-0

D. Calvetti, S. Morigi, L. Reichel, and F. Sgallari, Computable error bounds and estimates for the conjugate gradient method, Numer, Algorithms, pp.25-75, 2000.

C. Carstensen and S. A. Funken, Fully Reliable Localized Error Control in the FEM, SIAM Journal on Scientific Computing, vol.21, issue.4, pp.1465-1484, 1999.
DOI : 10.1137/S1064827597327486

P. G. Ciarlet, The finite element method for elliptic problems, Classics in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), vol.40, 2002.

G. Dahlquist, G. H. Golub, and S. G. Nash, Bounds for the error in linear systems, Semi-infinite programming (Proc. Workshop, pp.154-172, 1978.
DOI : 10.1007/BFb0003890

P. Destuynder and B. Métivet, Explicit error bounds in a conforming finite element method, Mathematics of Computation, vol.68, issue.228, pp.1379-1396, 1999.
DOI : 10.1090/S0025-5718-99-01093-5

P. Deuflhard, Cascadic conjugate gradient methods for elliptic partial differential equations: algorithm and numerical results, Contemp. Math, vol.180, pp.29-42, 1993.
DOI : 10.1090/conm/180/01954

V. Dolej?í, A. Ern, and M. Vohralík, $hp$-Adaptation Driven by Polynomial-Degree-Robust A Posteriori Error Estimates for Elliptic Problems, SIAM Journal on Scientific Computing, vol.38, issue.5, 2015.
DOI : 10.1137/15M1026687

V. Dolej?í, I. Sebestová, and M. Vohralík, Algebraic and Discretization Error Estimation by Equilibrated Fluxes for Discontinuous Galerkin Methods on Nonmatching Grids, Journal of Scientific Computing, vol.43, issue.3, pp.1-34, 2015.
DOI : 10.1007/s10915-014-9921-2

W. Dörfler, A Convergent Adaptive Algorithm for Poisson???s Equation, SIAM Journal on Numerical Analysis, vol.33, issue.3, pp.1106-1124, 1996.
DOI : 10.1137/0733054

A. Ern and M. Vohralík, Adaptive Inexact Newton Methods with A Posteriori Stopping Criteria for Nonlinear Diffusion PDEs, SIAM Journal on Scientific Computing, vol.35, issue.4, pp.1761-1791, 2013.
DOI : 10.1137/120896918
URL : https://hal.archives-ouvertes.fr/hal-00681422

T. Gergelits and Z. Strako?, Composite convergence bounds based on Chebyshev polynomials and finite precision conjugate gradient computations, Numerical Algorithms, vol.32, issue.156, pp.759-782, 2014.
DOI : 10.1007/s11075-013-9713-z

G. H. Golub and G. Meurant, Matrices, moments and quadrature, in Numerical analysis, Pitman Res. Notes Math. Ser., Longman Sci. Tech, vol.303, pp.105-156, 1993.

G. H. Golub and Z. Strako?, Estimates in quadratic formulas, Numerical Algorithms, vol.154, issue.156, pp.241-268, 1994.
DOI : 10.1007/BF02142693

H. Harbrecht and R. Schneider, On error estimation in finite element methods without having Galerkin orthogonality, Berichtsreihe des SFB 611 457, 2009.

M. R. Hestenes and E. Stiefel, Methods of conjugate gradients for solving linear systems, Journal of Research of the National Bureau of Standards, vol.49, issue.6, pp.409-436, 1952.
DOI : 10.6028/jres.049.044

R. Hiptmair and . Operator-preconditioning, Operator Preconditioning, Computers & Mathematics with Applications, vol.52, issue.5, pp.699-706, 2006.
DOI : 10.1016/j.camwa.2006.10.008

P. Jiránek, Z. Strako?, and M. Vohralík, A Posteriori Error Estimates Including Algebraic Error and Stopping Criteria for Iterative Solvers, SIAM Journal on Scientific Computing, vol.32, issue.3, pp.1567-1590, 2010.
DOI : 10.1137/08073706X

J. Liesen and Z. Strako?, Krylov subspace methods: principles and analysis, Numerical Mathematics and Scientific Computation
DOI : 10.1093/acprof:oso/9780199655410.001.0001

R. Luce and B. I. Wohlmuth, A Local A Posteriori Error Estimator Based on Equilibrated Fluxes, SIAM Journal on Numerical Analysis, vol.42, issue.4, pp.1394-1414, 2004.
DOI : 10.1137/S0036142903433790
URL : https://hal.archives-ouvertes.fr/inria-00343040

J. Málek and Z. Strako?, Preconditioning and the conjugate gradient method in the context of solving PDEs, SIAM Spotlights, Society for Industrial and Applied Mathematics (SIAM), vol.1, 2015.
DOI : 10.1137/1.9781611973846

G. Meurant, The computation of bounds for the norm of the error in the conjugate gradient algorithm, Numer, Numerical Algorithms, vol.16, issue.1, pp.77-87, 1997.
DOI : 10.1023/A:1019178811767

G. Meurant and Z. Strako?, The Lanczos and conjugate gradient algorithms in finite precision arithmetic, Acta Numerica, vol.15, pp.471-542, 2006.
DOI : 10.1017/S096249290626001X

G. Meurant and P. Tich´ytich´y, On computing quadrature-based bounds for the A-norm of the error in conjugate gradients, Numer. Algorithms, pp.62-163, 2013.

J. Pape?, J. Liesen, and Z. Strako?, Distribution of the discretization and algebraic error in numerical solution of partial differential equations, Linear Algebra and its Applications, vol.449, pp.89-114, 2014.
DOI : 10.1016/j.laa.2014.02.009

J. Pape?, U. Rüde, M. Vohralík, and B. Wohlmuth, Guaranteed algebraic, discretization, and total error bounds in multigrid finite element solvers, 2016.

A. T. Patera and E. M. Rønquist, A GENERAL OUTPUT BOUND RESULT: APPLICATION TO DISCRETIZATION AND ITERATION ERROR ESTIMATION AND CONTROL, Mathematical Models and Methods in Applied Sciences, vol.11, issue.04, pp.685-712, 2001.
DOI : 10.1142/S0218202501001057

L. E. Payne and H. F. Weinberger, An optimal Poincar?? inequality for convex domains, Archive for Rational Mechanics and Analysis, vol.5, issue.1, pp.286-292, 1960.
DOI : 10.1007/BF00252910

R. Rannacher, Error control in finite element computations. An introduction to error estimation and mesh-size adaptation, Error control and adaptivity in scientific computing, 1998.

K. Rektorys, Variational methods in mathematics, science and engineering , D, 1980.
DOI : 10.1007/978-94-011-6450-4

S. Repin, A posteriori estimates for partial differential equations, of Radon Series on Computational and Applied Mathematics, 2008.
DOI : 10.1515/9783110203042

V. V. Shaidurov, Some estimates of the rate of convergence for the cascadic conjugate-gradient method, Computers & Mathematics with Applications, vol.31, issue.4-5, pp.161-171, 1996.
DOI : 10.1016/0898-1221(95)00228-6

D. J. Silvester and V. Simoncini, An Optimal Iterative Solver for Symmetric Indefinite Systems Stemming from Mixed Approximation, ACM Transactions on Mathematical Software, vol.37, issue.4, p.22, 2011.
DOI : 10.1145/1916461.1916466

R. Stevenson, Optimality of a standard adaptive finite element method, Found, Comput. Math, vol.7, pp.245-269, 2007.

Z. Strako? and P. Tich´ytich´y, On error estimation in the conjugate gradient method and why it works in finite precision computations, Electron. Trans. Numer. Anal, vol.13, pp.56-80, 2002.

A. Veeser and R. Verfürth, Poincare constants for finite element stars, IMA Journal of Numerical Analysis, vol.32, issue.1, pp.30-47, 2012.
DOI : 10.1093/imanum/drr011

R. Verfürth, A posteriori error estimation techniques for finite element methods, Numerical Mathematics and Scientific Computation
DOI : 10.1093/acprof:oso/9780199679423.001.0001

B. I. Wohlmuth and R. H. Hoppe, A comparison of a posteriori error estimators for mixed finite element discretizations by Raviart-Thomas elements, Mathematics of Computation, vol.68, issue.228, pp.1347-1378, 1999.
DOI : 10.1090/S0025-5718-99-01125-4