Exact real arithmetic using centred intervals and bounded error terms

被引：6
|
作者：
Blanck, J [1 ]
机构：
[1] Univ Wales Swansea, Dept Comp Sci, Swansea SA2 8PP, W Glam, Wales
来源：
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 2006年 / 66卷 / 01期
关键词：
D O I：
10.1016/j.jlap.2005.07.002
中图分类号：
学科分类号：
摘要：
Approximations based on dyadic centred intervals are investigated as a means for implementing exact real arithmetic. It is shown that the field operations can be implemented on these approximations with optimal or near optimal results. Bounds for the loss in quality of approximations for each of the field operations are also given. These approximations can be used as a more efficient alternative to endpoint based implementations of interval analysis. (c) 2005 Elsevier Inc. All rights reserved.
引用
收藏
页码：50 / 67
页数：18
相关论文
共 50 条
  • [1] BOUNDED PRIME FACTORS FOR TERMS IN AN ARITHMETIC SEQUENCE
    GOLOMB, SW
    AMERICAN MATHEMATICAL MONTHLY, 1979, 86 (09): : 790 - 790
  • [2] ERROR PATTERNS IN JUDGEMENT OF BOUNDED INTERVALS
    BROOKE, JB
    BRITISH JOURNAL OF MATHEMATICAL & STATISTICAL PSYCHOLOGY, 1976, 29 (NOV): : 273 - 273
  • [3] Semantics of exact real arithmetic
    Potts, PJ
    Edalat, A
    Escardo, MH
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 248 - 257
  • [4] LOGIC FOR EXACT REAL ARITHMETIC
    Schwichtenberg, Helmut
    Wiesnet, Franziskus
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02)
  • [5] Ω-estimates for a class of arithmetic error terms
    Kaczorowski, Jerzy
    Wiertelak, Kazimierz
    MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2007, 142 : 385 - 394
  • [6] Bounded ranks and Diophantine error terms
    Pasten, Hector
    MATHEMATICAL RESEARCH LETTERS, 2019, 26 (05) : 1559 - 1570
  • [7] Towards Using Exact Real Arithmetic for Initial Value Problems
    Brausse, Franz
    Korovina, Margarita
    Mueller, Norbert Th.
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 61 - 74
  • [8] Error Control in Real Arithmetic
    Program Comput Software, 4 (220):
  • [9] Error control in real arithmetic
    Razumovskij, S.N.
    Vlasov, V.K.
    Programmirovanie, (04): : 57 - 70
  • [10] Error control in real arithmetic
    Razumovskii, SN
    Vlasov, VK
    PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (04) : 220 - 229
12345