P000006
Verified eigenvalue solver for the generalized eigenproblem $A x = \lambda B x$.Robust guaranteed eigenvalue evaluation method
*Yuka Yanagisawa (Gakushuin-University)
This toolbox provides verified (interval) bounds for eigenvalues of the symmetric generalized eigenproblem using LDL-based separation and the Lehmann–Behnke inclusion. It is intended for small-to-medium dense or sparse problems.