SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Mathematics and Computers in Simulation

Volumn 35, Issue 5, 1993, Pages 435-450

Numerics with automatic result verification

(2) Kulisch, Ulrich a Rall, L B b

a UNIVERSITY OF KARLSRUHE (Germany)

b UNIVERSITY OF WISCONSIN MADISON (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 43949164013 PISSN: 03784754 EISSN: None Source Type: Journal
DOI: 10.1016/0378-4754(93)90042-S Document Type: Article

Times cited : (2)

References (9)

1
- 0003782132
- Academic Press, New York
- (1993) Scientific Computing with Automatic Result Verification
- Adams¹ Kulisch²

2
- 0003688299
- SIAM, Philadelphia, PA
- (1992) Automatic Differentiation of Algorithms, Theory, Implementation, and Application
- Griewank¹ Corliss²

3
- 0004084795
- Springer, Berlin
- (1992) C-XSC
- Klatte¹ Kulisch² Lawo³ Rauch⁴ Wiethoff⁵

4
- 0003693662
- Springer, Berlin, (in German): (Springer, New York, 1992) (in English).
- (1991) PASCAL-XSC, Language Description with Examples
- Klatte¹ Kulisch² Neaga³ Ratz⁴ Ullrich⁵

5
- 84910952552
- Numerische Berechnung von Schranken für Pi
- Vieweg, Braunschweig
- (1993) Jahrb. Überblicke Math. 1993
- Krämer¹

6
- 0003875761
- Academic Press, New York
- (1981) Computer Arithmetic in Theory and Practice
- Kulisch¹ Miranker²

7
- 84910975763
- Realisierung einer Intervallarithmetik in einem ALGOL-60 System
- (1967) Elektron. Rechenanlagen , vol.9 , pp. 224-233
- Wippermann¹

8
- 84910958318
- ACRITH-XSC, IBM High Accuracy Arithmetic—Extended Scientific Computation. Version 1, Release 1, IBM, 1990; (1) General Information Manual (demonstration disc available), GC33-6461-01; (2) Reference, SC33-6462-00; (3) Sample Programs, SC33-6463-00; (4) How to Use, SC33-6464-00; (5) Syntax Diagrams, SC33-6466-00.

9
- 84910951611
- (1992) IMTEC-92-26
- Patriot Missile Defense¹ United States General Accounting Office, GAO,²

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