Existence Verification for Singular Zeros of Complex Nonlinear Systems. - R. Baker Kearfott; Jianwei Dian; Arnold Neumaier (SIAM J. Numer. Anal., 2000)

Verifying Topological Indices for Higher-Order Rank Deficiencies. - R. Baker Kearfott; Jianwei Dian (J. Complex., 2002)

Existence verification for singular and nonsmooth zeros of real nonlinear systems. - Jianwei Dian; R. Baker Kearfott (Math. Comput., 2003)

Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems. - R. Baker Kearfott; Jianwei Dian (SIAM J. Numer. Anal., 2003)

A meaning based information theory - informalogical space: Basic concepts and convergence of information sequences. - Jianwei Dian (Inf. Sci., 2010)