P000006
Verified eigenvalue solver for the generalized eigenproblem $A x = \lambda B x$.
*Yuka Yanagisawa (Gakusyuin-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.