{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:12:30Z","timestamp":1743131550645,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811036132"},{"type":"electronic","value":"9789811036149"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-981-10-3614-9_62","type":"book-chapter","created":{"date-parts":[[2017,1,7]],"date-time":"2017-01-07T00:02:41Z","timestamp":1483747361000},"page":"507-512","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verified Error Bounds for Symmetric Solutions of Operator Matrix Equations"],"prefix":"10.1007","author":[{"given":"Qingchun","family":"Li","sequence":"first","affiliation":[]},{"given":"Ziyu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Haifeng","family":"Sang","sequence":"additional","affiliation":[]},{"given":"Panpan","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,8]]},"reference":[{"key":"62_CR1","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":"62_CR2","volume-title":"Numerical Methods for Linear Control Systems: Design and Analysis","author":"BN Datta","year":"2004","unstructured":"Datta, B.N.: Numerical Methods for Linear Control Systems: Design and Analysis. Academic Press, Cambridge (2004)"},{"key":"62_CR3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713","volume-title":"Approximation of Large-scale Dynamical Systems, Advances in Design and Control","author":"AC Antoulas","year":"2005","unstructured":"Antoulas, A.C.: Approximation of Large-scale Dynamical Systems, Advances in Design and Control. SIAM, Philadelphia (2005)"},{"key":"62_CR4","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":"62_CR5","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":"62_CR6","unstructured":"Rohn, J.: VERSOFT: verification software in MATLAB\/INTLAB. \n                    http:\/\/uivtx.cs.cas.cz\/rohn\/matlab"},{"key":"62_CR7","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)"},{"key":"62_CR8","volume-title":"Kleine Fehlerschranken bei Matrixproblemen","author":"SM Rump","year":"1980","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Universitat Karlsruhe, Karlsruhe (1980)"},{"key":"62_CR9","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1137\/090757058","volume":"31","author":"A Frommer","year":"2010","unstructured":"Frommer, A., Hashemi, B.: Verified computation of square roots of a matrix. SIAM. Matrix Anal. Appl. 31, 1279\u20131302 (2010)","journal-title":"SIAM. Matrix Anal. Appl."},{"key":"62_CR10","first-page":"7","volume":"15","author":"RB Kearfott","year":"2010","unstructured":"Kearfott, R.B., Nakao, M., Neumaier, A., Rump, S., Shary, S., van Hentenryck, P.: Standardized notation in interval analysis. Comput. Technol. 15, 7\u201313 (2010)","journal-title":"Comput. Technol."},{"key":"62_CR11","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)"}],"container-title":["Communications in Computer and Information Science","Bio-inspired Computing \u2013 Theories and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3614-9_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T08:59:29Z","timestamp":1558515569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3614-9_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9789811036132","9789811036149"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3614-9_62","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"8 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIC-TA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bio-Inspired Computing: Theories and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bicta2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2016.bicta.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}