Fixed-point analysis of Ogita-Aishima's symmetric eigendecomposition refinement algorithm for multiple eigenvalues. - Kurumi Shiroma; Yusaku Yamamoto (JSIAM Lett., 2020)