{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:08:35Z","timestamp":1725538115128},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642318368"},{"type":"electronic","value":"9783642318375"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31837-5_49","type":"book-chapter","created":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T02:48:56Z","timestamp":1341456536000},"page":"336-343","source":"Crossref","is-referenced-by-count":1,"title":["Approximation to Linear Algebraic Transition System"],"prefix":"10.1007","author":[{"given":"Zhiwei","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Jin-Zhao","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Hochbruck, M.: On Krylov Subspace Approximations to the Matrix Exponential Operator. SIAM Journal on Numerical Analysis, 1911\u20131925 (1994)","DOI":"10.1137\/S0036142995280572"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Frieze, A., Kanna, R.: Fast Monte-Carlo Algorithms For Finding Low-Rank Approximations. Journal of the ACM (JACM), 1025\u20131041 (2004)","DOI":"10.1145\/1039488.1039494"},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"Drineas, P., Kannan, R., Mahoney, M.W.: Fast Monte Carlo Algorithms for Matrices III: Computing a Compressed Approximate Matrix Decomposition. SIAM Journal on Computing, 184\u2013206 (2006)","DOI":"10.1137\/S0097539704442702"},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Drineas, P., Kannan, R.: Fast Monte Carlo Algorithms for Matrices I: Approximating Matrix Multiplication. SIAM Journal on Computing, 132\u2013157 (2006)","DOI":"10.1137\/S0097539704442684"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Van, J., Eshof, D.: Preconditioning Lanczos Approximations To The Matrix Exponential. SIAM Journal on Scientific Computing, 1438\u20131457 (2006)","DOI":"10.1137\/040605461"},{"key":"49_CR6","doi-asserted-by":"crossref","unstructured":"Moret, I.: RD-Rational Approximations of The Matrix Exponential. BIT Numerical Mathematics, 595\u2013615 (2004)","DOI":"10.1023\/B:BITN.0000046805.27551.3b"},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1137\/S0895479800377551","volume":"23","author":"A. Zanna","year":"2002","unstructured":"Zanna, A.: Generalized Polar Decompositions For The Approximation of The Matrix Exponential. SIAM Journal on Matrix Analysis and Applications\u00a023, 840\u2013862 (2002)","journal-title":"SIAM Journal on Matrix Analysis and Applications"},{"key":"49_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)"},{"key":"49_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, C.D.: Convergent Powers of a Matrix with Applications to Iterative Methods for Singular Linear Systems. SIAM Journal on Numerical Analysis, 699\u2013712 (1977)","DOI":"10.1137\/0714047"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"Thomason, M.G.: Convergence of Powers of a Fuzzy Matrix. Journal of Mathematical Analysis and Applications, 476\u2013480 (1977)","DOI":"10.1016\/0022-247X(77)90274-8"},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"Hashimoto, H.: Convergence Of Powers Of A Fuzzy Transitive Matrix. Fuzzy Sets and Systems, 153\u2013160 (1983)","DOI":"10.1016\/S0165-0114(83)80015-3"},{"key":"49_CR12","doi-asserted-by":"crossref","unstructured":"Sriram, S.: Non-linear Loop Invariant Generation using GROBNER Bases. ACM SIGPLAN Notices, 318\u2013329 (2004)","DOI":"10.1145\/982962.964028"},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Stewart, G.W.: Matrix Perturbation Theory (1990)","DOI":"10.1137\/1032121"}],"container-title":["Communications in Computer and Information Science","Emerging Intelligent Computing Technology and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31837-5_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:49:12Z","timestamp":1620128952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31837-5_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642318368","9783642318375"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31837-5_49","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}