Computable upper and lower bounds on eigenfrequencies | Publicación