Exact real arithmetic for interval number systems

被引：4
|
作者：
Kurka, Petr [1 ,2 ]
机构：
[1] Acad Sci Czech Republic, Ctr Theoret Study, CZ-11000 Prague 1, Czech Republic
[2] Charles Univ Prague, CZ-11000 Prague 1, Czech Republic
来源：
THEORETICAL COMPUTER SCIENCE | 2014年 / 542卷
关键词：
Mobius transformation; Exact real arithmetic;
D O I：
10.1016/j.tcs.2014.04.030
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
An interval number system is given by an initial interval cover of the extended real line and by a finite system of nonnegative Mobius transformations. Each sequence of transformations applied to an initial interval determines a sequence of nested intervals whose intersection contains a unique real number. We adapt in this setting the exact real algorithms which compute arithmetical operations to arbitrary precision. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码：32 / 43
页数：12
相关论文
共 50 条
  • [31] Balanced random and adaptive interval arithmetic for systems of linear interval equations
    Zilinskas, J
    Bogle, IDL
    ADAPTIVE COMPUTING IN DESIGN AND MANUFACTURE VI, 2004, : 347 - 358
  • [32] Formal proofs for Lyapunov stability theorems in exact real arithmetic
    Devadze, Grigory
    Streif, Stefan
    2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,
  • [33] The world's shortest correct exact real arithmetic program?
    Lester, David R.
    INFORMATION AND COMPUTATION, 2012, 216 : 39 - 46
  • [34] 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
  • [35] FROM COINDUCTIVE PROOFS TO EXACT REAL ARITHMETIC: THEORY AND APPLICATIONS
    Berger, Ulrich
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [36] REAL NUMBER ARITHMETIC FOR MIXED BEHAVIORAL AND STRUCTURAL DESCRIPTIONS
    HILL, MG
    PEELING, NE
    CURRIE, IF
    MORISON, JD
    WHITING, EV
    NEWTON, CO
    IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS, 1990, 137 (06): : 446 - 450
  • [37] A homomorphic Arithmetic Scheme on Real Number with Fixed Precision
    Bai, Liwang
    Lan, Yuqing
    MATERIALS SCIENCE, ENERGY TECHNOLOGY, AND POWER ENGINEERING I, 2017, 1839
  • [38] Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
    Revol, Nathalie
    MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 337 - 341
  • [39] Affine Arithmetic and Applications to Real-Number Proving
    Moscato, Mariano M.
    Munoz, Cesar A.
    Smith, Andrew P.
    INTERACTIVE THEOREM PROVING, 2015, 9236 : 294 - 309
  • [40] The exact number of real roots of the Bernoulli polynomials
    Edwards, R.
    Leeming, D. J.
    JOURNAL OF APPROXIMATION THEORY, 2012, 164 (05) : 754 - 775
12345