Numerical verification for asymmetric solutions of the Hénon equation on the unit square. - Taisei Asai; Kazuaki Tanaka; Shin'ichi Oishi (CoRR, 2020)

A posteriori verification of the positivity of solutions to elliptic problems. - Kazuaki Tanaka; Taisei Asai (CoRR, 2020)

Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. - Taisei Asai; Kazuaki Tanaka; Shin'ichi Oishi (J. Comput. Appl. Math., 2022)