{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:08Z","timestamp":1742913248587,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662490136"},{"type":"electronic","value":"9783662490143"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-49014-3_31","type":"book-chapter","created":{"date-parts":[[2015,12,23]],"date-time":"2015-12-23T09:41:36Z","timestamp":1450863696000},"page":"342-349","source":"Crossref","is-referenced-by-count":1,"title":["A Verified Algorithm for the Centrosymmetric Solution of Sylvester Matrix Equations"],"prefix":"10.1007","author":[{"given":"Haifeng","family":"Sang","sequence":"first","affiliation":[]},{"given":"Ziyu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Cui","sequence":"additional","affiliation":[]},{"given":"Qingchun","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,24]]},"reference":[{"key":"31_CR1","volume-title":"Numerical Methods for Linear Control Systems","author":"B Datta","year":"2004","unstructured":"Datta, B.: Numerical Methods for Linear Control Systems. Elsevier Academic Press, Amsterdam (2004)"},{"key":"31_CR2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713","volume-title":"Approximation of Large-Scale Dynamical Systems, Advances in Design and Control","author":"A Antoulas","year":"2005","unstructured":"Antoulas, A.: Approximation of Large-Scale Dynamical Systems, Advances in Design and Control. SIAM, Philadelphia (2005)"},{"key":"31_CR3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/S0024-3795(02)00283-5","volume":"351","author":"DC Sorensen","year":"2002","unstructured":"Sorensen, D.C., Antoulas, A.C.: The Sylvester equation and approximate balanced reduction. Linear Algebra Appl. 351, 671\u2013700 (2002)","journal-title":"Linear Algebra Appl."},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287\u2013449 (2010)","journal-title":"Acta Numerica"},{"key":"31_CR5","volume-title":"Kleine Fehlerschranken bei Matrixproblemen","author":"SM Rump","year":"1980","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Universitat Karlsruhe, Karlsruhe (1980)"},{"issue":"12","key":"31_CR6","first-page":"1197","volume":"328","author":"W Tucker","year":"1999","unstructured":"Tucker, W.: The Lorenz attractor exists. C. R. de l\u2019Acadmie des Sci. Ser. I Math. 328(12), 1197\u20131202 (1999)","journal-title":"C. R. de l\u2019Acadmie des Sci. Ser. I Math."},{"issue":"2","key":"31_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10107-005-0581-8","volume":"103","author":"M Tawarmalani","year":"2005","unstructured":"Tawarmalani, M., Sahinidis, N.V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103(2), 225\u2013249 (2005)","journal-title":"Math. Program."},{"issue":"2","key":"31_CR8","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/j.laa.2010.12.002","volume":"436","author":"A Frommer","year":"2002","unstructured":"Frommer, A., Hashemi, B.: Verified error bounds for solutions of Sylvester matrix equations. Linear Algebra Appl. 436(2), 405\u2013420 (2002)","journal-title":"Linear Algebra Appl."},{"issue":"3","key":"31_CR9","first-page":"9","volume":"11","author":"D Liu","year":"2008","unstructured":"Liu, D., Zhou, H., Yuan, D.: An iterative algorithm for the centrosymmetric solutions and optimal approximation of \n                  \n                    \n                  \n                  $$AXB+ CXD= F$$\n                . J. Yangzhou Univ. (Natural Science Edition) 11(3), 9\u201313 (2008)","journal-title":"J. Yangzhou Univ. (Natural Science Edition)"},{"key":"31_CR10","volume-title":"Topics in Matrix Analysis","author":"RA Horn","year":"1994","unstructured":"Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1994)"},{"key":"31_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"INTLABinterval Laboratory Developments in Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: INTLABinterval Laboratory Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"4","key":"31_CR12","first-page":"411","volume":"16","author":"H Sang","year":"2015","unstructured":"Sang, H., Li, M., Liu, P., Li, Q.: Verified algorithm for a solution of matrix operator equation. J. Beihua Univ. (Natural Science) 16(4), 411\u2013414 (2015)","journal-title":"J. Beihua Univ. (Natural Science)"},{"key":"31_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287\u2013449 (2010)","journal-title":"Acta Numerica"}],"container-title":["Communications in Computer and Information Science","Bio-Inspired Computing -- Theories and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49014-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T22:56:51Z","timestamp":1559343411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49014-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662490136","9783662490143"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49014-3_31","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}