Some continuity notions for interval functions and representation

Computational and Applied Mathematics

Volumn 32, Issue 3, 2013, Pages 435-446

  Bedregal, Benjamín ^a   Santiago, Regivan ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE   (Brazil)

Author keywords

Bi continuity; Correctness; Interval analysis; Interval representation; Optimality; Semantics of intervals

Indexed keywords

TOPOLOGY;

BI-CONTINUITY; CORRECTNESS; FORMALISATION; INTERVAL ANALYSIS; INTERVAL FUNCTIONS; INTERVAL REPRESENTATION; METHODS LIBRARIES; OPTIMALITY; SEMANTIC OF INTERVAL; VALIDATED METHODS;

SEMANTICS;

EID: 84887546734     PISSN: 22383603     EISSN: 18070302     Source Type: Journal    
DOI: 10.1007/s40314-013-0049-z     Document Type: Article

References (18)

1. Acióly BM (1991) Computational foundations of interval mathematics. PhD thesis, Instituto de Informática, Universidade Federal do Rio Grande do Sul, Dezembro 1991 (in Portuguese).
2. Acióly BM, Bedregal B (1997) A quasi-metric topology compatible with inclusion-monotonicity property on interval space. Reliab Comput 3(3): 305-313.
3. Dugundji J (1966) Topology. Allyn and Bacon Series in Advanced Mathematics, 9 edn. Allyn and Bacon, Boston.
4. Gierz G et al (2003) Continuous lattices and domains. Cambridge University Press, Cambridge.
5. Hickey T, Ju Q, van Emdem MH (2001) Interval arithmetic: from principles to implementation. J ACM 48(5): 1038-1068.
6. Kahan WM (1968) A more complete interval arithmetic. Technical report, University of Michigan. Lecture Notes for A Summer Course at University of Michigan.
7. Kearfott RB (1996) Rigorous global search: continuous problems, vol 13 of nonconvex optimization and its applications. Kluwer Academic Press, Dordrecht.
8. Moore RE (1962) Interval arithmetic and automatic error analysis in digital computing. PhD thesis, Department of Mathematics, Stanford University, Stanford, California, Nov 1962. Published as Applied Mathematics and Statistics Laboratories Technical Report No. 25.
9. Moore RE (1979) Methods and applications of interval analysis. SIAM, Philadelphia.
10. de Santana FL, Santiago RHN (2013) Interval metrics, topology and continuous functions, computational and applied mathematics. Springer, Berlin (to appear).
11. Santiago RHN, Bedregal BRC, Acióly BM (2005) Comparing continuity of interval functions based on Moore and Scott topologies. Electron J Math Comput 2(1): 1-14.
12. Santiago RHN, Bedregal BRC, Acióly BM (2006) Formal aspects of correctness and optimality in interval computations. Form Asp Comput 18(2): 231-243. Springer, Berlin.
13. Santiago RHN, Bedregal BRC, Acióly BM (2004) Interval representations. Tend Mat Apl Comput 5(2): 315-324.
14. Scott DS (1970) Outline of a mathematical theory of computation. In: Proceedings of Fourth Annual Princeton Conference on Information Science and Systems, pp 169-176.
15. Sieradski AJ (1992) Introduction to topology and homotopy. PWS-KENT Publishing Company, Boston.
16. Smyth MB (1992) Topology. In: Abramsky S, Maibaum TSE (eds) Handbook of logic in computer science, vol 1, pp 641-761. Claredon Press, Oxford.
17. Stoltenberg-Hansen V, Lindström I, Griffer ER (1994) Mathematical theory of domains. Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge.
18. Trindade RMP, Bedregal BRC, Dória Neto AD, Acióly BM (2010) An interval metric. In: Lazinica A (ed) New advanced technologies. InTech, Vienna, pp 323-340.