Concepedia

Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shin’ichi Oishi

Japan Journal of Industrial and Applied Mathematics · 2014 · 16 citations · 11 references

DOI

Concepts

References

11

<i>Mathematical Analysis and Numerical Methods for Science and Technology</i>

Robert Dautray, J. L. Lions, Cécile DeWitt-Morette et al. · Physics Today · 1991 · 553 citations

, , +14

Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape

Xuefeng Liu, Shin’ichi Oishi · SIAM Journal on Numerical Analysis · 2013 · 84 citations

, , +17

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe · Computing · 2005 · 74 citations · Full text

, , +11

Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse

Siegfried M. Rump · BIT Numerical Mathematics · 2010 · 52 citations

, , +11

A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam

B. Breuer, Jiří Horák, Patrick McKenna et al. · Journal of Differential Equations · 2005 · 49 citations

, , +14