Qingchun Li, Ziyu Li, Haifeng Sang, Panpan Liu. Verified Error Bounds for Symmetric Solutions of Operator Matrix Equations. In Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang, editors, Bio-inspired Computing - Theories and Applications - 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II. Volume 682 of Communications in Computer and Information Science, pages 507-512, Springer, 2016. [doi]