[1] Frommer, A. and Hashemi, B. (2012). Verified error bounds for solutions of Sylvester matrix equations, Linear Algebra and its Applications, 436, 405-420.
[2] Hajarian, M. (2016). Generalized conjugate direction algorithm for solving the general coupled matrix equations over symmetric matrices, Numerical Algorithms, 73, 591–609.
[3] Hajarian, M. (2017). New finite algorithm for solving the generalized nonhomogeneous Yakubovich‐Transpose matrix equation, Numerical Algorithms, 19, 164-172.
[4] Jansson, C. (1991). Interval linear systems with symmetric matrices, skewsymmetric matrices and dependencies in the right hand side, Computing, 46, 265-274.
[5] Rump, S.M. (1994). Verification methods for dense and sparse systems of equations, in Elsevier, Amsterdam.