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 条

[1] Verified Real Number Calculations: A Library for Interval Arithmetic
Daumas, Marc
Lester, David
Munoz, Cesar
IEEE TRANSACTIONS ON COMPUTERS, 2009, 58 (02) : 226 - 237
[2] Real number calculations and theorem proving - Validation and use of an exact arithmetic
Lester, David R.
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 215 - 229
[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] Program extraction in exact real arithmetic
Miyamoto, Kenji
Schwichtenberg, Helmut
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (08) : 1692 - 1704
[6] On a refined analysis of some problems in interval arithmetic using real number complexity theory
Meer, Klaus
Reliable Computing, 2004, 10 (03) : 209 - 225
[7] BINARY SYSTEMS IN INTERVAL ARITHMETIC
RATSCHEK, H
COMPUTING, 1970, 6 (3-4) : 295 - &
[8] Interval arithmetic operations in residue number system
Lee, KJ
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (09) : 1361 - 1371
[9] Real/complex reconfigurable arithmetic using redundant complex number systems
Aoki, T
Amada, H
Higuchi, T
13TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1997, : 200 - 207
[10] Arithmetic co-transformations in the real and complex logarithmic number systems
Arnold, MG
Bailey, TA
Cowles, JR
Winkel, MD
13TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1997, : 190 - 199

← 1 2 3 4 5 →