An implicitly restarted Lanczos method for large symmetric eigenvalue problemsComputation of Gauss-Kronrod quadrature rulesOn an inverse eigenproblem for Jacobi matrices