{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:10:05Z","timestamp":1743984605971,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326202"},{"type":"electronic","value":"9783642326219"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32621-9_17","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T10:40:40Z","timestamp":1345286440000},"page":"232-245","source":"Crossref","is-referenced-by-count":0,"title":["Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures"],"prefix":"10.1007","author":[{"given":"Amin","family":"Farjudian","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1090\/S0002-9939-1971-0302982-7","volume":"30","author":"O. Aberth","year":"1971","unstructured":"Aberth, O.: The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society\u00a030(1), 151\u2013156 (1971)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"17_CR2","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"key":"17_CR3","unstructured":"Achieser, N.I.: Theory of Approximation. Frederick Ungar Publishing Co. (1956)"},{"key":"17_CR4","unstructured":"Bernstein, S.N.: Sur les recherches r\u00e9centes relatives \u00e0 la meilleure approximation des fonctions continues par les polyn\u00f4mes. In: Proc. of 5th Inter. Math. Congress, vol.\u00a01, pp. 256\u2013266 (1912)"},{"key":"17_CR5","first-page":"1","volume":"4","author":"S.N. Bernstein","year":"1912","unstructured":"Bernstein, S.N.: Sur l\u2019ordre de la meilleure approximation des fonctions continues par les polyn\u00f4mes de degr\u00e9 donn\u00e9. Mem. Cl. Sci. Acad. Roy. Belg.\u00a04, 1\u2013103 (1912)","journal-title":"Mem. Cl. Sci. Acad. Roy. Belg."},{"key":"17_CR6","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill (1967)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-22993-0_18","volume-title":"Mathematical Foundations of Computer Science 2011","author":"O. Bournez","year":"2011","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol.\u00a06907, pp. 170\u2013181. Springer, Heidelberg (2011)"},{"issue":"1","key":"17_CR8","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1995.1096","volume":"120","author":"A. Edalat","year":"1995","unstructured":"Edalat, A.: Dynamical systems, measures and fractals via domain theory. Information and Computation\u00a0120(1), 32\u201348 (1995)","journal-title":"Information and Computation"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Edalat, A., Lieutier, A.: Domain theory and differential calculus (functions of one variable). In: Proceedings of 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), Copenhagen, Denmark, pp. 277\u2013286 (2002)","DOI":"10.1109\/LICS.2002.1029836"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1112\/S1461157000001315","volume":"10","author":"A. Edalat","year":"2007","unstructured":"Edalat, A., Pattinson, D.: A domain-theoretic account of Picard\u2019s theorem. LMS Journal of Computation and Mathematics\u00a010, 83\u2013118 (2007)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"17_CR11","unstructured":"Escard\u00f3, M.H.: PCF extended with real numbers: a domain theoretic approach to higher order exact real number computation. Ph.D. thesis, Imperial College (1997)"},{"key":"17_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-69937-8_14","volume-title":"Logic, Language, Information and Computation","author":"A. Farjudian","year":"2008","unstructured":"Farjudian, A., Kone\u010dn\u00fd, M.: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol.\u00a05110, pp. 149\u2013163. Springer, Heidelberg (2008)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications, vol.\u00a093. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511542725"},{"issue":"2","key":"17_CR14","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1137\/0719022","volume":"19","author":"M.H. Gutknecht","year":"1982","unstructured":"Gutknecht, M.H., Trefethen, L.N.: Real polynomial Chebyshev approximation by the Carath\u00e9odory-Fej\u00e9r method. SIAM Journal on Numerical Analysis\u00a019(2), 358\u2013371 (1982)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"17_CR15","unstructured":"Jackson, D.: \u00dcber die Genauigkeit der Ann\u00e4herung stetiger Funktionen durch ganze rationale Funktionen gegebenen Grades und trigonometrische Summen gegebener Ordnung. Ph.D. thesis, G\u00f6ttingen (1911)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Kawamura, A.: Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete. In: CCC 2009: 24th Annual IEEE Conference on Computational Complexity, pp. 149\u2013160 (2009)","DOI":"10.1109\/CCC.2009.34"},{"key":"17_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"K.I. Ko","year":"1991","unstructured":"Ko, K.I.: Complexity Theory of Real Functions. Birkh\u00e4user, Boston (1991)"},{"issue":"18","key":"17_CR18","first-page":"2629","volume":"16","author":"M. Kone\u010dn\u00fd","year":"2010","unstructured":"Kone\u010dn\u00fd, M., Farjudian, A.: Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science\u00a016(18), 2629\u20132656 (2010)","journal-title":"Journal of Universal Computer Science"},{"issue":"18","key":"17_CR19","first-page":"2597","volume":"16","author":"M. Kone\u010dn\u00fd","year":"2010","unstructured":"Kone\u010dn\u00fd, M., Farjudian, A.: Semantics of query-driven communication of exact values. Journal of Universal Computer Science\u00a016(18), 2597\u20132628 (2010)","journal-title":"Journal of Universal Computer Science"},{"key":"17_CR20","unstructured":"Lorentz, G.G.: Approximation of Functions. AMS Chelsea Publishing (1986)"},{"key":"17_CR21","unstructured":"Mhaskar, H.N., Pai, D.V.: Fundamentals of Approximation Theory. Narosa (2007)"},{"key":"17_CR22","unstructured":"Miller, R., Michel, A.: Ordinary Differential Equations. Academic Press (1982)"},{"key":"17_CR23","unstructured":"M\u00fcller, N., Moiske, B.: Solving initial value problems in polynomial time. In: Proc. 22nd JAIIO - PANEL 1993, Part 2, pp. 283\u2013293 (1993)"},{"key":"17_CR24","volume-title":"Chebyshev Polynomials: from Approximation Theory to Algebra and Number Theory","author":"T.J. Rivlin","year":"1990","unstructured":"Rivlin, T.J.: Chebyshev Polynomials: from Approximation Theory to Algebra and Number Theory, 2nd edn. Wiley, New York (1990)","edition":"2"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable Analysis, An Introduction. Springer (2000)","DOI":"10.1007\/978-3-642-56999-9"},{"issue":"1","key":"17_CR26","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1215\/kjm\/1250778052","volume":"26","author":"T. Yoshizawa","year":"1950","unstructured":"Yoshizawa, T., Hayashi, K.: On the uniqueness of solutions of a system of ordinary differential equations. Memoirs of the College of Science, University of Kyoto. Ser. A, Mathematics\u00a026(1), 19\u201329 (1950)","journal-title":"Memoirs of the College of Science, University of Kyoto. Ser. A, Mathematics"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32621-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T23:44:46Z","timestamp":1743983086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32621-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326202","9783642326219"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32621-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}