{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:10Z","timestamp":1725487990656},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_26","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"248-257","source":"Crossref","is-referenced-by-count":1,"title":["A Continuous Derivative for Real-Valued Functions"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Abolfathbeigi, S., Mahmoudi, M.: Manuscript in Persian (2003)"},{"key":"26_CR2","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, Clarendon Press, Oxford (1994)"},{"key":"26_CR3","unstructured":"Clarke, F.H.: Private communications. Summer (2005)"},{"key":"26_CR4","volume-title":"Optimization and Nonsmooth Analysis","author":"F.H. Clarke","year":"1983","unstructured":"Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, Chichester (1983)"},{"issue":"1","key":"26_CR5","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":"26_CR6","unstructured":"Edalat, A.: A continuous derivative for real-valued functions. Invited submission to New Computational Paradigms, 2006. Available at www.doc.ic.ac.uk\/~ae\/papers\/banachf.ps"},{"key":"26_CR7","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, volume\u00a083 of Electronic Notes in Theoretical Computer Science (2003), Full paper in www.doc.ic.ac.uk\/~ae\/papers\/scalar.ps","DOI":"10.1016\/S1571-0661(03)50005-6"},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0304-3975(01)00091-3","volume":"284","author":"A. Edalat","year":"2002","unstructured":"Edalat, A., Lieutier, A.: Foundation of a computable solid modelling. Theoretical Computer Science\u00a0284(2), 319\u2013345 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"26_CR9","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1017\/S0960129504004359","volume":"14","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Lieutier, A.: Domain theory and differential calculus (Functions of one variable). Mathematical Structures in Computer Science\u00a014(6), 771\u2013802 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-540-31982-5_32","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Edalat","year":"2005","unstructured":"Edalat, A., Lieutier, A., Pattinson, D.: A computational model for multi-variable differential calculus. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 505\u2013519. Springer, Heidelberg (2005)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of Picard\u2019s theorem. In: Proc. ICALP 2004 LNCS vol. 3142, pp. 494\u2013505 (2004), Full paper in www.doc.ic.ac.uk\/~ae\/papers\/picard.icalp.ps","DOI":"10.1007\/978-3-540-27836-8_43"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Fars, N.: Aspects analytiques dans la mathematique de shraf al-din al-tusi. Historia Sc. 5(1) (1995)","DOI":"10.1017\/S0957423900002034"},{"issue":"2","key":"26_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S0957423900002034","volume":"5","author":"N. Fars","year":"1995","unstructured":"Fars, N.: Le calcul du maximum et la \u2019derive\u2019 selon shraf al-din al-tusi. Arabic Sci. Philos.\u00a05(2), 219\u2013237 (1995)","journal-title":"Arabic Sci. Philos."},{"key":"26_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, UK (2003)"},{"issue":"1","key":"26_CR15","first-page":"69","volume":"16","author":"J.P. Hogendijk","year":"1989","unstructured":"Hogendijk, J.P.: Shraf al-din al-tusi on the number of positive roots of cubic equations. Fund. Math.\u00a016(1), 69\u201385 (1989)","journal-title":"Fund. Math."},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0003-4843(79)90021-4","volume":"17","author":"M.B. Pour-El","year":"1979","unstructured":"Pour-El, M.B., Richards, J.I.: A computable ordinary differential equation which possesses no computable solution. Annals Math. Logic\u00a017, 61\u201390 (1979)","journal-title":"Annals Math. Logic"},{"key":"26_CR17","unstructured":"Scott, D.S.: Outline of a mathematical theory of computation. In: 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169\u2013176 (1970)"},{"key":"26_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis (An Introduction)","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis (An Introduction). Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T05:36:35Z","timestamp":1587792995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}