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

共 11 条

[1] Bishop RL., 1980, TENSOR ANAL MANIFOLD
[2] Delacourt M., 2012, LECT NOTES COMPUT SC, V7464
[3] Gosper R. W., 1977, CONTINUED FRAC UNPUB
[4] AN ALGORITHM FOR REDUNDANT BINARY BIT-PIPELINED RATIONAL ARITHMETIC
KORNERUP, P
MATULA, DW
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (08) : 1106 - 1115
[5] The unary arithmetical algorithm in bimodular number systems
Kurka, Petr
Delacourt, Martin
[J]. 2013 21ST IEEE SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2013, : 127 - 134
[6] The Stern-Brocot graph in Mobius number systems
Kurka, Petr
[J]. NONLINEARITY, 2012, 25 (01) : 57 - 72
[7] Mobius number systems based on interval covers
Kurka, Petr
Kazda, Alexandr
[J]. NONLINEARITY, 2010, 23 (05) : 1031 - 1046
[8] Mobius number systems with sofic subshifts
Kurka, Petr
[J]. NONLINEARITY, 2009, 22 (02) : 437 - 456
[9] Exact arithmetic on the Stern-Brocot tree
Niqui, Milad
[J]. JOURNAL OF DISCRETE ALGORITHMS, 2007, 5 (02) : 356 - 379
[10] POTTS PJ, 1998, THESIS U LONDON LOND

← 1 2 →