{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:15:24Z","timestamp":1770430524799,"version":"3.49.0"},"reference-count":124,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5889,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1997,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chaos; we also show how efficient algorithms have been obtained for computing elementary functions in exact real arithmetic.<\/jats:p>","DOI":"10.2307\/421098","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:10:58Z","timestamp":1146985858000},"page":"401-452","source":"Crossref","is-referenced-by-count":83,"title":["Domains for Computation in Mathematics, Physics and Exact Real Arithmetic"],"prefix":"10.1017","volume":"3","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600007411_ref113","volume-title":"Handbook of logic in computer science, Chapter 5","author":"Smyth","year":"1992"},{"key":"S1079898600007411_ref097","volume-title":"Twelfth annual IEEE symposium on logic in computer science","author":"Potts","year":"1997"},{"key":"S1079898600007411_ref096","unstructured":"Plotkin G. D. , Post-graduate lecture notes in advanced domain theory (incorporating the \u201cPisa Notes\u201d), Department of Computer Science, University of Edinburgh, 1981."},{"key":"S1079898600007411_ref117","unstructured":"S\u00fcnderhauf P. , A note on tensors in the Ift approach to exact real arithmetic, manuscript, 1997."},{"key":"S1079898600007411_ref088","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002363"},{"key":"S1079898600007411_ref111","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"S1079898600007411_ref107","first-page":"157","volume-title":"Logic, methodology and philosophy of science IV","author":"Scott","year":"1973"},{"key":"S1079898600007411_ref120","doi-asserted-by":"publisher","DOI":"10.1109\/12.57047"},{"key":"S1079898600007411_ref105","first-page":"169","volume-title":"4th annual Princeton conference on information sciences and systems","author":"Scott","year":"1970"},{"key":"S1079898600007411_ref104","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90003-1"},{"key":"S1079898600007411_ref106","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0073967"},{"key":"S1079898600007411_ref102","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S1079898600007411_ref099","unstructured":"Potts P. J. and Edalat A. , Exact real arithmetic based on linear fractional transformations, draft, Imperial College, 12 1996."},{"key":"S1079898600007411_ref094","unstructured":"Parry J. , A new algorithm for computing fractal dimension, Master's thesis , Department of Computing, Imperial College, 1996."},{"key":"S1079898600007411_ref084","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195173187"},{"key":"S1079898600007411_ref124","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90027-X"},{"key":"S1079898600007411_ref123","volume-title":"Technical Report 63","author":"Weihrauch","year":"1980"},{"key":"S1079898600007411_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/2324899"},{"key":"S1079898600007411_ref006","volume-title":"The lambda calculus: Its syntax and semantics","author":"Barendregt","year":"1984"},{"key":"S1079898600007411_ref069","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075\/5\/7\/016"},{"key":"S1079898600007411_ref057","volume-title":"Fractal image compression","author":"Fisher","year":"1994"},{"key":"S1079898600007411_ref054","volume-title":"Fractal geometry","author":"Falconer","year":"1989"},{"key":"S1079898600007411_ref115","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200028498"},{"key":"S1079898600007411_ref082","volume":"2","author":"Knuth","year":"1969","journal-title":"The art ofcomputer programming"},{"key":"S1079898600007411_ref086","volume-title":"Continuous lattices and related topics","volume":"27","author":"Lawson","year":"1982"},{"key":"S1079898600007411_ref025","volume-title":"An introduction to chaotic dynamical systems","author":"Devaney","year":"1989"},{"key":"S1079898600007411_ref015","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/21\/9\/028"},{"key":"S1079898600007411_ref010","volume-title":"Fractal image compression","author":"Barnsley","year":"1993"},{"key":"S1079898600007411_ref065","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195178796"},{"key":"S1079898600007411_ref007","volume-title":"Fractals everywhere","author":"Barnsley","year":"1993"},{"key":"S1079898600007411_ref108","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0012801","volume-title":"Automata, languages and programming: Proceedings 1982","volume":"140","author":"Scott","year":"1982"},{"key":"S1079898600007411_ref018","unstructured":"Blanck J. , Computability on topological spaces by effective domain representations, Ph.D. thesis , Uppsala University, 1997, Uppsala Dissertations in Mathematics 7."},{"key":"S1079898600007411_ref003","unstructured":"Alvarez M. , Edalat A. , and Saheb-Djahromi N. , An extension result for continuous valuations, 1997."},{"key":"S1079898600007411_ref061","volume-title":"HAKMEM Item 101B, MIT Artificial Intelligence Memo 239","author":"Gosper","year":"1972"},{"key":"S1079898600007411_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00017-6"},{"key":"S1079898600007411_ref044","volume-title":"Proceedings of mathematical foundations of programming semantics 13","volume":"6","author":"Edalat","year":"1997"},{"key":"S1079898600007411_ref110","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"S1079898600007411_ref036","volume-title":"An algorithm to estimate the Hausdorff dimension of self-affine sets","author":"Edalat","year":"1996"},{"key":"S1079898600007411_ref048","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0143385700004168","article-title":"An ergodic theorem for iterated maps","volume":"7","author":"Elton","year":"1987","journal-title":"Journal of Ergodic Theory and Dynamical Systems"},{"key":"S1079898600007411_ref047","volume-title":"Theoretical Computer Science","author":"Edalat","year":"1997"},{"key":"S1079898600007411_ref070","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198535669.001.0001","volume-title":"The general theory of integration","author":"Henstock","year":"1991"},{"key":"S1079898600007411_ref041","volume-title":"Theoretical Computer Science","author":"Edalat","year":"1996"},{"key":"S1079898600007411_ref021","volume-title":"ACM symposium on lisp and functional programming","author":"Boehm","year":"1986"},{"key":"S1079898600007411_ref053","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100064926"},{"key":"S1079898600007411_ref100","unstructured":"Potts P. J. and Edalat A. , Exact real computer arithmetic, draft, Imperial College, 03 1997."},{"key":"S1079898600007411_ref004","volume-title":"Essentials of Pad\u00e9 approximants","author":"Baker","year":"1975"},{"key":"S1079898600007411_ref001","volume-title":"Annals of Pure and Applied Logic","author":"Abramsky","year":"1991"},{"key":"S1079898600007411_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3034-2_8"},{"key":"S1079898600007411_ref062","doi-asserted-by":"publisher","DOI":"10.4064\/fm-42-1-168-202"},{"key":"S1079898600007411_ref083","volume-title":"Probabilistic methods in mathematical physics, kinokuniya","author":"Kusuoka","year":"1987"},{"key":"S1079898600007411_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78043-1"},{"key":"S1079898600007411_ref072","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1039"},{"key":"S1079898600007411_ref059","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9"},{"key":"S1079898600007411_ref079","volume-title":"Cartesian closed categories of domains","volume":"66","author":"Jung","year":"1989"},{"key":"S1079898600007411_ref039","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002338"},{"key":"S1079898600007411_ref058","volume-title":"Proceedings of mathematical foundations of programming semantics 13","author":"Flagg","year":"1997"},{"key":"S1079898600007411_ref109","volume-title":"Fixed point theorems","author":"Smart","year":"1974"},{"key":"S1079898600007411_ref060","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/004"},{"key":"S1079898600007411_ref050","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"S1079898600007411_ref075","unstructured":"Jones C. , Probabilistic non-determinism, Ph.D. thesis , University of Edinburgh, 1989."},{"key":"S1079898600007411_ref051","volume-title":"Topology and Its Applications","author":"Escard\u00f3","year":"1997"},{"key":"S1079898600007411_ref055","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100075253"},{"key":"S1079898600007411_ref067","first-page":"174","article-title":"Spaces of valuations","volume":"806","author":"Heckmann","year":"1996","journal-title":"Papers on general topology and its applications"},{"key":"S1079898600007411_ref092","article-title":"Msb-first digit serial arithmetic","volume":"1","author":"Nielsen","year":"1995","journal-title":"J. of Univ. Comp. Scien."},{"key":"S1079898600007411_ref081","unstructured":"Kirch O. , Bereiche und Bewertungen, Master's thesis , Technische Hochschule Darmstadt, 1993."},{"key":"S1079898600007411_ref049","doi-asserted-by":"publisher","DOI":"10.1007\/BF02219096"},{"key":"S1079898600007411_ref101","volume-title":"Computability in analysis andphysics","author":"Pour-El","year":"1988"},{"key":"S1079898600007411_ref028","volume-title":"Proceedings of 24th international colloquium on automata, languages, and programming (ICALP'97)","author":"Di Gianantonio","year":"1997"},{"key":"S1079898600007411_ref016","volume-title":"Lattice theory","author":"Birkhoff","year":"1967"},{"key":"S1079898600007411_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9"},{"key":"S1079898600007411_ref008","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0057"},{"key":"S1079898600007411_ref014","unstructured":"Behn U. , Patzlaff H. , and Lange A. , Generalized integrals with respect to multifractals densities and discrete stochastic mappings, draft, University of Leipzig, 1996."},{"key":"S1079898600007411_ref121","volume-title":"Analytic theory of continued fractions","author":"Wall","year":"1973"},{"key":"S1079898600007411_ref029","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/050\/841091"},{"key":"S1079898600007411_ref098","unstructured":"Potts P. J. , Efficient and strict algorithms for exact real arithmetic, draft, Imperial College, 1997."},{"key":"S1079898600007411_ref020","first-page":"43","volume-title":"Research topics in functional programming","author":"Boehm","year":"1990"},{"key":"S1079898600007411_ref031","volume-title":"Theory and formal methods 1994: Proceedings of the second Imperial College workshop","author":"Edalat","year":"1995"},{"key":"S1079898600007411_ref064","volume-title":"Semantics of programming languages","author":"Gunter","year":"1992"},{"key":"S1079898600007411_ref043","volume-title":"Physica D","author":"Edalat","year":"1996"},{"key":"S1079898600007411_ref045","doi-asserted-by":"publisher","DOI":"10.1007\/BF00880044"},{"key":"S1079898600007411_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00050-7"},{"key":"S1079898600007411_ref074","volume-title":"Stone spaces","volume":"3","author":"Johnstone","year":"1982"},{"key":"S1079898600007411_ref052","volume-title":"Twelfth annual IEEE symposium on logic in computer science","author":"Escard\u00f3","year":"1997"},{"key":"S1079898600007411_ref034","volume-title":"Tenth annual IEEE symposium on logic in computer science (LICS)","author":"Edalat","year":"1995"},{"key":"S1079898600007411_ref071","volume-title":"Proceedings IFIP fractals 90","author":"Hepting","year":"1991"},{"key":"S1079898600007411_ref078","volume-title":"Continued fractions: Analytic theory and applications","author":"Jones","year":"1980"},{"key":"S1079898600007411_ref076","first-page":"186","volume-title":"Logic in computer science","author":"Jones","year":"1989"},{"key":"S1079898600007411_ref027","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0046"},{"key":"S1079898600007411_ref080","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90055-0"},{"key":"S1079898600007411_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(93)90133-L"},{"key":"S1079898600007411_ref073","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1981.30.30055"},{"key":"S1079898600007411_ref089","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3196-0_18"},{"key":"S1079898600007411_ref063","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","article-title":"On the definition of computable real continuous functions","volume":"44","author":"Grzegorczyk","year":"1957","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600007411_ref011","volume-title":"Computer graphics","author":"Barnsley","year":"1988"},{"key":"S1079898600007411_ref009","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.83.7.1975"},{"key":"S1079898600007411_ref002","volume-title":"Handbook of logic in computer science","volume":"3","author":"Abramsky","year":"1994"},{"key":"S1079898600007411_ref012","first-page":"215","volume-title":"Byte Magazine","author":"Barnsley","year":"1988"},{"key":"S1079898600007411_ref122","first-page":"66","volume-title":"Combinatorics, complexity, and logic, discrete mathematics and theoretical computer science","author":"Weihrauch","year":"1997"},{"key":"S1079898600007411_ref030","volume-title":"Real analysis and probability","author":"Dudley","year":"1989"},{"key":"S1079898600007411_ref077","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171915"},{"key":"S1079898600007411_ref042","doi-asserted-by":"publisher","DOI":"10.1142\/p028"},{"key":"S1079898600007411_ref035","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1096"},{"key":"S1079898600007411_ref040","volume-title":"Eleventh annual IEEE symposium on logic in computer science (LICS)","author":"Edalat","year":"1996"},{"key":"S1079898600007411_ref037","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0014"},{"key":"S1079898600007411_ref066","volume-title":"Informatik-Berichte 96-04","author":"Heckmann","year":"1996"},{"key":"S1079898600007411_ref068","doi-asserted-by":"crossref","unstructured":"Heckmann R. , The appearance of big integers in exact real arithmetic based on linear fractional transformations, submitted to ETAPS'98, 1997.","DOI":"10.1007\/BFb0053549"},{"key":"S1079898600007411_ref118","volume-title":"Topology via logic","author":"Vickers","year":"1988"},{"key":"S1079898600007411_ref026","unstructured":"Di Gianantonio P. , A functional approach to real number computation, Ph.D. thesis , University of Pisa, 1993."},{"key":"S1079898600007411_ref103","volume-title":"Real and complex analysis","author":"Rudin","year":"1966"},{"key":"S1079898600007411_ref056","doi-asserted-by":"publisher","DOI":"10.1007\/BF01107909"},{"key":"S1079898600007411_ref023","volume-title":"The new physics","author":"Davies","year":"1989"},{"key":"S1079898600007411_ref033","volume-title":"Proceedings of MFPS","volume":"1","author":"Edalat","year":"1995"},{"key":"S1079898600007411_ref090","article-title":"Arbitrary precision real arithmetic: design and algorithms","author":"Menissier-Morain","year":"1996","journal-title":"Journal of Symbolic Computation"},{"key":"S1079898600007411_ref038","volume-title":"Eleventh annual IEEE symposium on logic in computer science (LICS)","author":"Edalat","year":"1996"},{"key":"S1079898600007411_ref087","volume-title":"Topology and its applications","author":"Lawson","year":"1996"},{"key":"S1079898600007411_ref085","first-page":"2478","article-title":"Extension de la notion de fonction r\u00e9cursive aux fonctions d'une ou plusieurs variables r\u00e9elles I","volume":"240","author":"Lacombe","year":"1955","journal-title":"Comptes Rendus"},{"key":"S1079898600007411_ref091","volume-title":"Interval analysis","author":"Moore","year":"1966"},{"key":"S1079898600007411_ref093","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-12246"},{"key":"S1079898600007411_ref116","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537809.003.0004","volume-title":"Handbook of logic in computer science","volume":"4","author":"Stoltenberg-Hansen","year":"1995"},{"key":"S1079898600007411_ref095","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"S1079898600007411_ref112","volume-title":"Automata, languages and programming","volume":"154","author":"Smyth","year":"1983"},{"key":"S1079898600007411_ref119","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90072-2"},{"key":"S1079898600007411_ref046","unstructured":"Edalat A. and S\u00fcnderhauf P. , Computable Banach spaces via domain theory, manuscript in preparation."},{"key":"S1079898600007411_ref114","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166386"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600007411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:36:55Z","timestamp":1707032215000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600007411\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":124,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["S1079898600007411"],"URL":"https:\/\/doi.org\/10.2307\/421098","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}