Interval Representations
DOI:
https://doi.org/10.5540/tema.2004.05.02.0317Abstract
This paper presents the concept of interval representation and shows some of its properties. The concept is often applied in interval mathematics and captures the essence of that theory; namely: Interval analysis is a language that designates computations with real numbers. The idea of interval objects as representation of real objects is defined and its relation with some aspects of interval analysis is showed. Some of these relations are concerned with the topological aspects of intervals (Scott topology).References
[1] B.M. Acióly and B.R.C. Bedregal, A quasi-metric topology compatible with inclusion monotonicity on interval space, Reliable Computing, 3, No. 3 (1997), 305-313.
B.M. Acióly, “Computational foundations of interval mathematics”, Ph.D. thesis, in Portuguese, Instituto de informática, Universidade Federal do Rio Grande do Sul, Dezembro 1991.
E. Loh and G.W. Walster, Rump’s example revisited, Reliable Computing, 8, No. 3 (2002), 245-248.
A. McCluskey and B. McMaster, “Topology Course Lecture Notes”, Topology Atlas, 1999. Available in http://at.yorku.ca/i/a/a/b/23.htm.
R.E. Moore, “Methods and applications of interval analysis”, SIAM Studies in Applied and Numerical Methematics, SIAM, 1979.
E. Novak, The real number model in numerical analysis, Journal of Complexity, 11, No. 1 (1995), 57-73.
D. S. Scott, Outline of a mathematical theory of computation, in “4th Princeton Conference on Information Science and Systems”, pp. 65-106, 1970.
J. Stoy, “Denotational semantics: The Scott-Strachey approach to programming language theory”, MIT Press, Massachusetts, 1977.
K. Weihrauch, “Computable analysis - an introduction”, Springer Verlag, 1997.
Downloads
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.