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

메뉴 건너뛰기

Reliable Computing

Volumn 8, Issue 4, 2002, Pages 267-282

On existence and uniqueness verification for non-smooth functions

(1) Kearfott, R Baker a

a UNIVERSITY OF LOUISIANA AT LAFAYETTE (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTATIONAL METHODS; MATRIX ALGEBRA; NONLINEAR EQUATIONS; NONLINEAR SYSTEMS; TOPOLOGY;

FUNCTION VERIFICATION;

FUNCTION EVALUATION;

EID: 0036680257 PISSN: 13853139 EISSN: None Source Type: Journal
DOI: 10.1023/A:1016381031155 Document Type: Article

Times cited : (6)

References (17)

1
- 84968476142
- Computation of topological degree using interval arithmetic and applications
- (1994) Math. Comp. , vol.62 , Issue.205 , pp. 171-178
- Aberth, O.¹

2
- 0003792627
- Chelsea
- (1935) Topologie
- Alexandroff, P.¹ Hopf, H.²

3
- 0003615411
- American Mathematical Society, Providence, RI
- (1964) Fixed Points and Topological Degree in Nonlinear Analysis
- Cronin, J.¹

4
- 0004139077
- University of Louisiana at Lafayette
- (2000) Existence Verification of Higher Degree SinguIar Zeros of Nonlinear Systems
- Dian, J.¹

5
- 0005825471
- (2001) Existence Verification for Singular and Non-Smooth Zeros of Real Nonlinear Systems
- Dian, J.¹ Kearfott, R.B.²

6
- 0003571608
- Marcel Dekker, New York
- (1992) Global Optimization Using Interval Analysis
- Hansen, E.R.¹

7
- 0000963644
- An efficient degree-computation method for a generalized method of bisection
- (1979) Numer. Math. , vol.32 , pp. 109-127
- Kearfott, R.B.¹

8
- 0004044405
- Kluwer Academic Publishers, Dordrecht
- (1996) Rigorous Global Search: Continuous Problems
- Kearfott, R.B.¹

9
- 0004139079
- Preprint
- (2000) Existence Verification for Higher Degree Singular Zeros of Complex Nonlinear Systems
- Kearfott, R.B.¹ Dian, J.²

10
- 0003648228
- (2000) Verifying Topological Indices for Higher-Order Rank Deficiencies
- Kearfott, R.B.¹ Dian, J.²

11
- 0034446065
- Existence verification for singular zeros of complex nonlinear systems
- (2000) SIAM J. Numer. Anal. , vol.38 , Issue.2 , pp. 360-379
- Kearfott, R.B.¹ Dian, J.² Neumaier, A.³

12
- 0003915794
- Cambridge University Press, Cambridge
- (1990) Interval Methods for Systems of Equations
- Neumaier, A.¹

13
- 0003602606
- Academic Press, New York
- (1970) Iterative Solution of Nonlinear Equations in Several Variables
- Ortega, J.M.¹ Rheinboldt, W.C.²

14
- 0002123713
- n
- (1976) Numer. Math. , vol.25 , pp. 23-38
- Stenger, F.¹

15
- 84963178282
- An algorithm for numerical calculation of the topological degree
- (1979) Applicable Anal. , vol.9 , pp. 63-77
- Stynes, M.¹

16
- 0005825039
- Technical Report 6, Dept. of Math., Univ. of Patras
- (1981) The Topological Degree for the Generalized Method of Bisection
- Vrahatis, M.N.¹

17
- 0005835373
- preprint
- (2001) Practical, Exception-Free Interval Arithmetic on the Extended Reals
- Walster, G.W.¹ Hansen, E.R.² Pryce, J.D.³

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