exact real arithmetic;
admissible rcpresentation;
Stern-Brocot representation;
D O I:
10.1016/j.tcs.2005.09.059
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
We examine a special case of admissible representations of the closed interval, namely those which arise via sequences of a finite number of Mobius transformations. We regard certain sets of Mobius transformations as a generalized notion of digits and introduce sufficient conditions that such a "digit set" yields an admissible representation of [0, +infinity]. Furthermore, we establish the productivity and correctness of the homographic algorithm for such "admissible" digit sets. We present the Stem-Brocot representation and a modification of same as a working example throughout. (c) 2005 Elsevier B.V. All rights reserved.