Interval Representations
DOI:
https://doi.org/10.5540/tema.2004.05.02.0317Resumo
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).Referências
[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
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.