{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T14:52:46Z","timestamp":1767192766635},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T00:00:00Z","timestamp":1248825600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s10208-009-9050-8","type":"journal-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T10:26:53Z","timestamp":1248776813000},"page":"93-114","source":"Crossref","is-referenced-by-count":7,"title":["Parallelization Method for a Continuous Property"],"prefix":"10.1007","volume":"10","author":[{"given":"Pawe\u0142","family":"Pilarczyk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,7,29]]},"reference":[{"key":"9050_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/10586458.2007.10128992","volume":"16","author":"Z. Arai","year":"2007","unstructured":"Z. Arai, On hyperbolic plateaus of the H\u00e9non map, Exp. Math. 16, 181\u2013188 (2007).","journal-title":"Exp. Math."},{"key":"9050_CR2","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1137\/080734935","volume":"8","author":"Z. Arai","year":"2009","unstructured":"Z. Arai, W. Kalies, H. Kokubu, K. Mischaikow, H. Oka, P. Pilarczyk, Databases for the global dynamics of multi-parameter systems, SIAM J. Appl. Dyn. Syst. 8, 757\u2013789 (2009).","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9050_CR3","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1115\/1.2338651","volume":"1","author":"H. Ban","year":"2006","unstructured":"H. Ban, W. Kalies, A computational approach to Conley\u2019s decomposition theorem, J. Comput. Nonlinear Dyn. 1, 312\u2013319 (2006).","journal-title":"J. Comput. Nonlinear Dyn."},{"key":"9050_CR4","unstructured":"Computer Assisted Proofs in Dynamics, http:\/\/capd.wsb-nlu.edu.pl\/ ."},{"key":"9050_CR5","unstructured":"Computational Homology Project, http:\/\/chomp.rutgers.edu\/ ."},{"key":"9050_CR6","series-title":"CBMS Regional Conference Series in Math.","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/038","volume-title":"Isolated Invariant Sets and the Morse Index","author":"C. Conley","year":"1978","unstructured":"C. Conley, Isolated Invariant Sets and the Morse Index. CBMS Regional Conference Series in Math., vol.\u00a038 (Am. Math. Soc., Providence, 1978)."},{"key":"9050_CR7","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein, Introduction to Algorithms, 2nd edn. (MIT Press, Cambridge, 2001).","edition":"2"},{"key":"9050_CR8","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s10208-004-0163-9","volume":"5","author":"W.D. Kalies","year":"2005","unstructured":"W.D. Kalies, K. Mischaikow, R.C.A.M. VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math. 5, 409\u2013449 (2005).","journal-title":"Found. Comput. Math."},{"key":"9050_CR9","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore, Interval Analysis (Prentice Hall, Englewood Cliffs, 1966)."},{"key":"9050_CR10","unstructured":"P. Pilarczyk, Parallelization method for a continuous property. Software and examples, http:\/\/www.pawelpilarczyk.com\/parallel\/ ."},{"key":"9050_CR11","doi-asserted-by":"crossref","first-page":"1689","DOI":"10.1088\/0951-7715\/17\/5\/007","volume":"17","author":"I. Ugarcovici","year":"2004","unstructured":"I. Ugarcovici, H. Weiss, Chaotic dynamics of a nonlinear density dependent population model, Nonlinearity 17, 1689\u20131711 (2004).","journal-title":"Nonlinearity"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9050-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-009-9050-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9050-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:05:10Z","timestamp":1559113510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-009-9050-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,29]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9050"],"URL":"https:\/\/doi.org\/10.1007\/s10208-009-9050-8","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,29]]}}}