{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:55:34Z","timestamp":1743130534964,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699361"},{"type":"electronic","value":"9783540699378"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69937-8_14","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"149-163","source":"Crossref","is-referenced-by-count":2,"title":["Time Complexity and Convergence Analysis of Domain Theoretic Picard Method"],"prefix":"10.1007","author":[{"given":"Amin","family":"Farjudian","sequence":"first","affiliation":[]},{"given":"Michal","family":"Kone\u010dn\u00fd","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1007\/978-3-540-27836-8_43","volume-title":"Automata, Languages and Programming","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of Picard\u2019s theorem. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 494\u2013505. Springer, Heidelberg (2004)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/11558958_13","volume-title":"Applied Parallel Computing. State of the Art in Scientific Computing","author":"A. Edalat","year":"2006","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of Euler\u2019s method for solving initial value problems. In: Dongarra, J., Madsen, K., Wa\u015bniewski, J. (eds.) PARA 2004. LNCS, vol.\u00a03732, pp. 112\u2013121. Springer, Heidelberg (2006)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Farjudian, A., Kone\u010dn\u00fd, M.: Time complexity and convergence analysis of domain theoretic picard method (March 2008), \n http:\/\/www-users.aston.ac.uk\/~farjudia\/AuxFiles\/2008-Picard.pdf","DOI":"10.1007\/978-3-540-69937-8_14"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-45335-0_14","volume-title":"Computability and Complexity in Analysis","author":"N.T. M\u00fcller","year":"2001","unstructured":"M\u00fcller, N.T.: The iRRAM: Exact arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol.\u00a02064, pp. 222\u2013252. Springer, Heidelberg (2001)"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0960129506005822","volume":"17","author":"B. Lambov","year":"2007","unstructured":"Lambov, B.: Reallib: An efficient implementation of exact real arithmetic. Mathematical Structures in Computer Science\u00a017(1), 81\u201398 (2007)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"N.J. Higham","year":"2002","unstructured":"Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia (2002)","edition":"2"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Edalat, A., Pattinson, D.: Domain theoretic solutions of initial value problems for unbounded vector fields. In: Escard\u00f3, M. (ed.) Proc. MFPS XXI. Electr. Notes in Theoret. Comp. Sci, vol.\u00a0155, pp. 565\u2013581 (2005)","DOI":"10.1016\/j.entcs.2005.11.073"},{"key":"14_CR8","volume-title":"CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Hofer, E.P., Auer, E.: Valencia-ivp: A comparison with other initial value problem solvers. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)"},{"key":"14_CR9","unstructured":"Nedialkov, N.S.: Vnode-lp: A validated solver for initial value problems in ordinary differential equations. Technical Report CAS-06-06-NN, Department of Computing and Software, McMaster University (July 2006)"},{"key":"14_CR10","first-page":"346","volume":"A558","author":"K. Makino","year":"2005","unstructured":"Makino, K., Berz, M.: Cosy infinity version 9. Nuclear Instruments and Methods\u00a0A558, 346\u2013350 (2005)","journal-title":"Nuclear Instruments and Methods"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69937-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T06:50:29Z","timestamp":1715237429000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69937-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540699361","9783540699378"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69937-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}