Found 11 Documents (Results 1–11)
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. (English) Zbl 1512.65061
MSC:
65F15
Rigorous numerical enclosures for positive solutions of Lane-Emden’s equation with sub-square exponents. (English) Zbl 07525383
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. (English) Zbl 1473.35286
An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations. (English) Zbl 1439.65046
Reviewer: Georg Hebermehl (Berlin)
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems. (English) Zbl 1431.65044
Iterative refinement for symmetric eigenvalue decomposition. II. Clustered eigenvalues. (English) Zbl 1418.65049
Fast verified computation for the solution of the T-congruence Sylvester equation. (English) Zbl 1434.65047
Reviewer: Adhemar Bultheel (Leuven)
Filter Results by …
all
top 5
Author
- Miyajima, Shinya (4)
- Imakura, Akira (2)
- Morikuni, Keiichi (2)
- Ogita, Takeshi (2)
- Oishi, Shin’ichi (2)
- Takayasu, Akitoshi (2)
- Tanaka, Kazuaki (2)
- Aishima, Kensuke (1)
- Asai, Taisei (1)
- Hoshi, Takeo (1)
- Kashiwagi, Masahide (1)
- Ozaki, Katsuhisa (1)
- Parker, Jeremy P. (1)
- Plum, Michael (1)
- Sekine, Kouta (1)
- Terao, Takeshi (1)