Kearfott, R. Baker; Dian, Jianwei Existence verification for higher degree singular zeros of nonlinear systems. (English) Zbl 1059.65045 SIAM J. Numer. Anal. 41, No. 6, 2350-2373 (2003). MSC: 65H10 65G20 65G30 65E05 PDFBibTeX XMLCite \textit{R. B. Kearfott} and \textit{J. Dian}, SIAM J. Numer. Anal. 41, No. 6, 2350--2373 (2003; Zbl 1059.65045) Full Text: DOI
Dian, Jianwei; Kearfott, R. Baker Existence verification for singular and nonsmooth zeros of real nonlinear systems. (English) Zbl 1025.65030 Math. Comput. 72, No. 242, 757-766 (2003). Reviewer: Eugene L.Allgower (Fort Collins) MSC: 65H10 65G40 65L10 65G20 34B15 65L12 PDFBibTeX XMLCite \textit{J. Dian} and \textit{R. B. Kearfott}, Math. Comput. 72, No. 242, 757--766 (2003; Zbl 1025.65030) Full Text: DOI
Kearfott, R. Baker; Dian, Jianwei Verifying topological indices for higher-order rank deficiencies. (English) Zbl 1005.65049 J. Complexity 18, No. 2, 589-611 (2002). MSC: 65H10 65G30 65G20 PDFBibTeX XMLCite \textit{R. B. Kearfott} and \textit{J. Dian}, J. Complexity 18, No. 2, 589--611 (2002; Zbl 1005.65049) Full Text: DOI Link
Kearfott, R. Baker; Dian, Jianwei; Neumaier, A. Existence verification for singular zeros of complex nonlinear systems. (English) Zbl 0986.65054 SIAM J. Numer. Anal. 38, No. 2, 360-379 (2000). Reviewer: Herbert Fischer (München) MSC: 65H10 30C15 65E05 55M25 PDFBibTeX XMLCite \textit{R. B. Kearfott} et al., SIAM J. Numer. Anal. 38, No. 2, 360--379 (2000; Zbl 0986.65054) Full Text: DOI