Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi. Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents. Numerical Functional Analysis and Optimization. 2022. 43. 3. 322-349
Kazuaki Tanaka, Taisei Asai. A posteriori verification of the positivity of solutions to elliptic boundary value problems. Partial Differential Equations and Application. 2022
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi. Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. Computers & Mathematics with Applications. 2022. 106. 18-26
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi. Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. Journal of Computational and Applied Mathematics. 2021. 113708-113708
Kazuaki Tanaka. A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations. Japan Journal of Industrial and Applied Mathematics. 2021