Akira, Imakura, Keiichi, Morikuni, Akitoshi, Takayasu. Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS. 2023. 424. 1-18
Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi. Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. JOURNAL OF NONLINEAR SCIENCE. 2023. 33. 3
Jaquette, Jonathan, Lessard, Jean-Philippe, Takayasu, Akitoshi. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Communications in Nonlinear Science and Numerical Simulation. 2022. 107
Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi. A geometric characterization of unstable blow-up solutions with computer-assisted proof. arXiv:2103.12390 [math.DS]. 2021