论文信息 - Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria - 字舞流文

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

Nobito Yamamoto | Mitsuhiro Nakao | Yoshitaka Watanabe

[1] M. Nakao. Solving Nonlinear Elliptic Problems with Result Verification Using an H -1 Type Residual Iteration , 1993 .

[2] Willard L. Miranker,et al. A new approach to scientific computation , 1983 .

[3] Fumio Kikuchi,et al. Finite element analysis of a nondifferentiable nonlinear problem related to MHD equilibria , 1988 .

[4] Mitsuhiro Nakao,et al. A numerical verification method for the existence of weak solutions for nonlinear boundary value problems , 1992 .

[5] Mitsuhiro Nakao,et al. Numerical verifications of solutions for nonlinear elliptic equations , 1993 .

[6] Siegfried M. Rump,et al. Solving Algebraic Problems with High Accuracy , 1983, IMACS World Congress.

[7] Mitsuhiro Nakao. A numerical approach to the proof of existence of solutions for elliptic problems II , 1988 .