Akitoshi Takayasu

According to our database, Akitoshi Takayasu authored at least 16 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory.

Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu

CoRR, 2024

2023

Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature.

Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu

J. Nonlinear Sci., June, 2023

Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems.

Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu

J. Comput. Appl. Math., May, 2023

Complex moment-based methods for differential eigenvalue problems.

Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu

Numer. Algorithms, January, 2023

2022

Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time.

Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto

Numerische Mathematik, 2022

Rigorous numerics for nonlinear heat equations in the complex plane of time.

Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto

Numerische Mathematik, 2022

Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity.

Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu

Commun. Nonlinear Sci. Numer. Simul., 2022

2021

A geometric characterization of unstable blow-up solutions with computer-assisted proof.

Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu

CoRR, 2021

2020

Numerical validation of blow-up solutions with quasi-homogeneous compactifications.

Kaname Matsue, Akitoshi Takayasu

Numerische Mathematik, 2020

Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity.

Kaname Matsue, Akitoshi Takayasu

J. Comput. Appl. Math., 2020

Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems.

Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu

J. Comput. Appl. Math., 2020

2017

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory.

Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi

SIAM J. Numer. Anal., 2017

Numerical validation of blow-up solutions of ordinary differential equations.

Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi

J. Comput. Appl. Math., 2017

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.

Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi

J. Comput. Appl. Math., 2017

2016

Verified Computations for Hyperbolic 3-Manifolds.

Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu

Exp. Math., 2016

2015

Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator.

Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015