R. E. Bank, L. Grubi?i?, and J. S. Ovall, A framework for robust eigenvalue and eigenvector error estimation and Ritz value convergence enhancement, Appl. Numer. Math, vol.66, pp.1-29, 2013.

N. W. Bazley and D. W. Fox, Lower bounds for eigenvalues of Schrödinger's equation, Phys. Rev, vol.124, issue.2, pp.483-492, 1961.

D. Boffi, R. G. Durán, F. Gardini, and L. Gastaldi, A posteriori error analysis for nonconforming approximation of multiple eigenvalues, Math. Methods Appl. Sci, vol.40, pp.350-369, 2017.

D. Boffi, D. Gallistl, F. Gardini, and L. Gastaldi, Optimal convergence of adaptive FEM for eigenvalue clusters in mixed form, Math. Comp, vol.86, pp.2213-2237, 2017.

A. Bonito and A. Demlow, Convergence and optimality of higher-order adaptive finite element methods for eigenvalue clusters, SIAM J. Numer. Anal, vol.54, pp.2379-2388, 2016.

D. Braess, V. Pillwein, and J. Schöberl, Equilibrated residual error estimates are p-robust, Comput. Methods Appl. Mech. Engrg, vol.198, pp.1189-1197, 2009.

F. Brezzi and M. Fortin, Mixed and hybrid finite element methods, Springer Series in Computational Mathematics, vol.15, 1991.

E. Cancès, R. Chakir, and Y. Maday, Numerical analysis of the planewave discretization of some orbital-free and Kohn-Sham models, Esaim Math. Model. Numer. Anal, vol.46, pp.341-388, 2012.

E. Cancès, G. Dusson, Y. Maday, B. Stamm, and M. Vohralík, Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations, SIAM J. Numer. Anal, vol.55, pp.2228-2254, 2017.

E. Cancès, G. Dusson, Y. Maday, B. Stamm, and M. Vohralík, Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework, Numer. Math, vol.140, pp.1033-1079, 2018.

E. Cancès, G. Dusson, Y. Maday, B. Stamm, and M. Vohralík, Post-processing of the planewave approximation of Schrödinger equations. Part I: linear operators, 2018.

C. Carstensen and S. A. Funken, Fully reliable localized error control in the FEM, SIAM J. Sci. Comput, vol.21, pp.1465-1484, 1999.

C. Carstensen and J. Gedicke, Guaranteed lower bounds for eigenvalues, Math. Comp, vol.83, pp.2605-2629, 2014.

C. Carstensen, J. Gedicke, and D. Rim, Explicit error estimates for Courant, Crouzeix-Raviart and Raviart-Thomas finite element methods, J. Comput. Math, vol.30, pp.337-353, 2012.

P. Ciarlet, J. , and M. Vohralík, Localization of global norms and robust a posteriori error control for transmission problems with sign-changing coefficients, M2AN Math. Model. Numer. Anal, vol.52, pp.2037-2064, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01148476

P. G. Ciarlet, The Finite Element Method for Elliptic Problems, of Studies in Mathematics and its Applications, vol.4, 1978.

X. Dai, L. He, and A. Zhou, Convergence and quasi-optimal complexity of adaptive finite element computations for multiple eigenvalues, IMA J. Numer. Anal, vol.35, pp.1934-1977, 2015.

P. Destuynder and B. Métivet, Explicit error bounds in a conforming finite element method, Math. Comp, vol.68, pp.1379-1396, 1999.

W. Dörfler, A convergent adaptive algorithm for Poisson's equation, SIAM J. Numer. Anal, vol.33, pp.1106-1124, 1996.

G. Dusson, Post-processing of the planewave approximation of Schrödinger equations. Part II: Kohnsham models, 2018.

A. Ern and M. Vohralík, Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations, SIAM J. Numer. Anal, vol.53, pp.1058-1081, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00921583

, Stable broken H 1 and H(div) polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions, 2016.

G. E. Forsythe, Asymptotic lower bounds for the fundamental frequency of convex membranes, Pacific J. Math, vol.5, pp.691-702, 1955.

D. Gallistl, Adaptive nonconforming finite element approximation of eigenvalue clusters, Comput. Methods Appl. Math, p.14, 2014.

, An optimal adaptive FEM for eigenvalue clusters, Numer. Math, vol.130, pp.467-496, 2015.

S. Giani and E. J. Hall, An a posteriori error estimator for hp-adaptive discontinuous Galerkin methods for elliptic eigenvalue problems, Math. Models Methods Appl. Sci, vol.22, p.35, 2012.

P. Grisvard, of Monographs and Studies in Mathematics, vol.24, 1985.

L. Grubi?i? and J. S. Ovall, On estimators for eigenvalue/eigenvector approximations, Math. Comp, vol.78, pp.739-770, 2009.

F. Hecht, O. Pironneau, J. Morice, A. L. Hyaric, and K. Ohtsuka, FreeFem++, tech. rep., Laboratoire Jacques-Louis Lions, 2012.

J. Hu, Y. Huang, and Q. Lin, Lower bounds for eigenvalues of elliptic operators: by nonconforming finite element methods, J. Sci. Comput, vol.61, pp.196-221, 2014.

J. Hu, Y. Huang, and Q. Shen, The lower/upper bound property of approximate eigenvalues by nonconforming finite element methods for elliptic operators, J. Sci. Comput, vol.58, pp.574-591, 2014.

T. Kato, On the upper and lower bounds of eigenvalues, J. Phys. Soc. Japan, vol.4, pp.334-339, 1949.

P. Ladevèze and D. Leguillon, Error estimate procedure in the finite element method and applications, SIAM J. Numer. Anal, vol.20, pp.485-509, 1983.

X. Liu, A framework of verified eigenvalue bounds for self-adjoint differential operators, Appl. Math. Comput, vol.267, pp.341-355, 2015.

X. Liu and F. Kikuchi, Analysis and estimation of error constants for P 0 and P 1 interpolations over triangular finite elements, J. Math. Sci. Univ. Tokyo, vol.17, pp.27-78, 2010.

X. Liu and S. Oishi, Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape, SIAM J. Numer. Anal, vol.51, pp.1634-1654, 2013.

X. Liu and T. Vejchodský, Rigorous and fully computable a posteriori error bounds for eigenfunctions, 2019.

F. Luo, Q. Lin, and H. Xie, Computing the lower and upper bounds of Laplace eigenvalue problem: by combining conforming and nonconforming finite element methods, Sci. China Math, vol.55, pp.1069-1082, 2012.

W. Prager and J. L. Synge, Approximations in elasticity based on the concept of function space, Quart. Appl. Math, vol.5, pp.241-269, 1947.

M. Reed and B. Simon, Methods of modern mathematical physics IV: Analysis of operators, 1978.

J. E. Roberts and J. Thomas, Mixed and hybrid methods, Handbook of Numerical Analysis, vol.II, pp.523-639, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075815

L. N. Trefethen and T. Betcke, Computed eigenmodes of planar regions, Recent advances in differential equations and mathematical physics, vol.412, pp.297-314, 2006.

L. Wang, L. Chamoin, P. Ladevèze, and H. Zhong, Computable upper and lower bounds on eigenfrequencies, Comput. Methods Appl. Mech. Engrg, vol.302, pp.27-43, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01241742

H. F. Weinberger, Upper and lower bounds for eigenvalues by finite difference methods, Comm. Pure Appl. Math, vol.9, pp.613-623, 1956.