Akitoshi Takayasu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 17

Top Topics

Differential Equations

Endoscopic Video

Eigenvalue Problems

Top Venues

J. Comput. Appl. Math.

Numerische Mathematik

SIAM J. Numer. Anal.

Publications

Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory. CoRR (2024)
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
Complex moment-based methods for differential eigenvalue problems. Numer. Algorithms 92 (1) (2023)
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J. Nonlinear Sci. 33 (3) (2023)
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. J. Comput. Appl. Math. 424 (2023)
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
Complex moment-based methods for differential eigenvalue problems. CoRR (2022)
Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Commun. Nonlinear Sci. Numer. Simul. 107 (2022)
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik 151 (3) (2022)
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik 151 (3) (2022)
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. CoRR (2021)
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
A geometric characterization of unstable blow-up solutions with computer-assisted proof. CoRR (2021)
Kaname Matsue, Akitoshi Takayasu
Numerical validation of blow-up solutions with quasi-homogeneous compactifications. Numerische Mathematik 145 (3) (2020)
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems. J. Comput. Appl. Math. 369 (2020)
Kaname Matsue, Akitoshi Takayasu
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity. J. Comput. Appl. Math. 374 (2020)
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. J. Comput. Appl. Math. 315 (2017)
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
Numerical validation of blow-up solutions of ordinary differential equations. J. Comput. Appl. Math. 314 (2017)
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. SIAM J. Numer. Anal. 55 (2) (2017)
Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu
Verified Computations for Hyperbolic 3-Manifolds. Exp. Math. 25 (1) (2016)
Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. MACIS (2015)