{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:47Z","timestamp":1761597227536},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228493"},{"type":"electronic","value":"9783540278368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_43","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"494-505","source":"Crossref","is-referenced-by-count":12,"title":["A Domain Theoretic Account of Picard\u2019s Theorem"],"prefix":"10.1007","author":[{"given":"A.","family":"Edalat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"AWA. A software package for validated solution of ordinary differential equations, http:\/\/www.cs.utep.edu\/interval-comp\/intsoft.html"},{"key":"43_CR2","unstructured":"The GNU multi precision library, http:\/\/www.swox.com\/gmp\/"},{"key":"43_CR3","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0049-237X(08)70739-0","volume-title":"Intuitionism and Proof Theory","author":"O. Aberth","year":"1970","unstructured":"Aberth, O.: Computable analysis and differential equations. In: Intuitionism and Proof Theory. Studies in Logic and the Foundations of Mathematics, pp. 47\u201352. North-Holland, Amsterdam (1970); Proc. of the Summer Conf. at Buffalo N.Y. (1968)"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03, Clarendon Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198537625.001.0001"},{"key":"43_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69512-4","volume-title":"Differential Inclusions","author":"J.P. Aubin","year":"1984","unstructured":"Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, Heidelberg (1984)"},{"key":"43_CR6","unstructured":"Brattka, V.: Computability of Banach space principles. Informatik Berichte 286, FernUniversit\u00e4t Hagen, Fachbereich Informatik (June 2001)"},{"key":"43_CR7","volume-title":"Nonsmooth Analysis and Control Theory","author":"F.H. Clarke","year":"1998","unstructured":"Clarke, F.H., Ledyaev, Y.S., Stern, R.J., Wolenski, P.R.: Nonsmooth Analysis and Control Theory. Springer, Heidelberg (1998)"},{"key":"43_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0022-0000(69)80031-0","volume":"3","author":"J.P. Cleave","year":"1969","unstructured":"Cleave, J.P.: The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of Computer and Systems Sciences\u00a03, 447\u2013455 (1969)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"43_CR9","volume-title":"Theory of Ordinary Differential Equations","author":"E.A. Coddington","year":"1955","unstructured":"Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Edalat, A., Krznari\u0107, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. of Elect. Notes in Theoret. Comput. Sci., vol.\u00a083 (2004), Full Paper in www.doc.ic.ac.uk\/~ae\/papers\/scalar.ps","DOI":"10.1016\/S1571-0661(03)50005-6"},{"key":"43_CR11","volume-title":"Seventh Annual IEEE Symposium on Logic in Computer Science","author":"A. Edalat","year":"2002","unstructured":"Edalat, A., Lieutier, A.: Domain theory and differential calculus (Functions of one variable). In: Seventh Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2002), Full paper in www.doc.ic.ac.uk\/~ae\/papers\/diffcal.ps"},{"key":"43_CR12","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","volume":"42","author":"A. Grzegorczyk","year":"1955","unstructured":"Grzegorczyk, A.: Computable functionals. Fund. Math.\u00a042, 168\u2013202 (1955)","journal-title":"Fund. Math."},{"key":"43_CR13","unstructured":"Iserles, A.: Numerical Analysis of Differential Equations. Cambridge Texts in Applied Mathematics. CUP (1996)"},{"key":"43_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0019-9958(83)80062-X","volume":"58","author":"K.-I. Ko","year":"1983","unstructured":"Ko, K.-I.: On the computational complexity of ordinary differential equations. Inform. Contr.\u00a058, 157\u2013194 (1983)","journal-title":"Inform. Contr."},{"key":"43_CR15","volume-title":"Introductory Real Analysis","author":"A.N. Kolmogorov","year":"1975","unstructured":"Kolmogorov, A.N., Fomin, S.V.: Introductory Real Analysis. Dover, New York (1975)"},{"key":"43_CR16","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"43_CR17","unstructured":"M\u00fcller, N.T., Moiske, B.: Solving initial value problems in polynomial time. In: Proceedings of the 22th JAIIO - Panel 1993, Buenos Aires, pp. 283\u2013293 (1993)"},{"key":"43_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"N.S. Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation\u00a0105, 21\u201368 (1999)","journal-title":"Applied Mathematics and Computation"},{"key":"43_CR19","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1988","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T14:08:39Z","timestamp":1711807719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}