Certified computation of the sign of a matrix determinant
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Symbolic and numeric methods for exploiting structure in constructing resultant matrices
Journal of Symbolic Computation
Linear time encodable and list decodable codes
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Hi-index | 0.00 |
The authors analyze the Lanczos algorithm with a random start for approximating the extremal eigenvalues of a symmetric positive definite matrix. They present some bounds on the Lebesgue measure (probability) of the sets of these starting vectors for which the Lanczos algorithm gives at the $k$th step satisfactory approximations to the largest and smallest eigenvalues. Combining these bounds gets similar estimates for the condition number of a matrix.