SCOPUS 정보 검색 플랫폼

Volumn 279, Issue 1-2, 2002, Pages 65-82

Contractivity of linear fractional transformations

Author keywords

Exact real arithmetic; Linear fractional transformations

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; CONVERGENCE OF NUMERICAL METHODS; DIGITAL ARITHMETIC; RECURSIVE FUNCTIONS; THEOREM PROVING;

LINEAR FRACTIONAL TRANSFORMATIONS (LFT);

MATHEMATICAL TRANSFORMATIONS;

EID: 0037188452 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00427-8 Document Type: Article

Times cited : (7)

References (18)

1
- 84937078021
- Signed-digit number representations for fast parallel arithmetic
- (1961) IRE Trans. Electron. Comput. , vol.10 , pp. 389-400
- Avizienis, A.¹

2
- 0000050714
- Exact real arithmetic: Formulating real numbers as functions
- D. Turner (Ed.), Addison-Wesley, Reading, MA
- (1990) Research Topics in Functional Programming , pp. 43-64
- Boehm, H.J.¹ Cartwright, R.²

3
- 85049198578
- Exact real arithmetic: A case study in higher order programming
- (1986) ACM Symp. on Lisp and Functional Programming , pp. 162-173
- Boehm, H.J.¹ Cartwright, R.² Riggle, M.³ O'Donell, M.J.⁴

5
- 0001790104
- Real number computability and domain theory
- May
- (1996) Informat. Comput. , vol.127 , Issue.1 , pp. 11-25
- Di Gianantonio, P.¹

6
- 18944383627
- A new representation for exact real numbers
- S. Brookes, M. Mislove (Eds.), MFPS'97
- (1997) Electronic Notes in Theoretical Computer Science , vol.6
- Edalat, A.¹ Potts, P.²

7
- 0030570676
- PCF extended with real numbers
- August
- (1996) Theoret. Comput. Sci. , vol.162 , Issue.1 , pp. 79-115
- Escardó, M.H.¹

8
- 0004294078
- Continued fraction arithmetic
- Technical Report HAKMEM Item 101B, MIT
- (1972) MIT Artificial Intelligence Memo , vol.239
- Gosper, W.¹

9
- 85053336585
- Finite precision lexicographic continued fraction number systems
- IEEE Computer Society Press, Silverspring, MD
- (1985) Proc. 7th IEEE Symp. on Computer Arithmetic , pp. 207-214
- Kornerup, P.¹ Matula, D.W.²

10
- 0003322509
- Arbitrary precision real arithmetic: Design and algorithms
- submitted for publication
- (1996) J. Symbolic Comput.
- Menissier-Morain, V.¹

11
- 0009015334
- MSB-first digit serial arithmetic
- (1995) J. Univ. Comp. Sci. , vol.1 , Issue.7 , pp. 523-543
- Nielsen, A.¹ Kornerup, P.²

15
- 0008967377
- Draft, Imperial College, March
- (1997) Exact real computer arithmetic
- Potts, P.J.¹ Edalat, A.²

16
- 0030707452
- Semantics of exact real arithmetic
- IEEE Computer Society Press, Silver Spring, MD
- (1997) Proc. 12th Annu. IEEE Symp. on Logic in Computer Science , pp. 248-257
- Potts, P.¹ Edalat, A.² Escardó, M.³

17
- 0025470202
- Exact real computer arithmetic with continued fractions
- (1990) IEEE Trans. Comput. , vol.39 , Issue.8 , pp. 1087-1105
- Vuillemin, J.E.¹

18
- 0003566712
- Van Nostrand Company, Princeton, NJ
- (1948) Analytic Theory of Continued Fractions
- Wall, H.S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.