Login / Signup
Taisei Asai
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Runge Kutta
Numerical Solution
Model Checking
Boundary Value Problem
Top Venues
CoRR
J. Comput. Appl. Math.
</>
Publications
</>
Taisei Asai
,
Kazuaki Tanaka
,
Shin'ichi Oishi
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains.
J. Comput. Appl. Math.
399 (2022)
Taisei Asai
,
Kazuaki Tanaka
,
Shin'ichi Oishi
Numerical verification for asymmetric solutions of the Hénon equation on the unit square.
CoRR
(2020)
Kazuaki Tanaka
,
Taisei Asai
A posteriori verification of the positivity of solutions to elliptic problems.
CoRR
(2020)