Akitoshi Takayasu

23 papers Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces.
Commun. Nonlinear Sci. Numer. Simul.
Toshimasa Ishige, Akitoshi Takayasu
2025 J jnl
A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory.
J. Sci. Comput.
Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
2025 J jnl
Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces.
CoRR
Toshimasa Ishige, Akitoshi Takayasu
2025 J jnl
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs.
Commun. Nonlinear Sci. Numer. Simul.
Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2024 J jnl
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory.
CoRR
Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
2024 J jnl
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs.
CoRR
Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2023 J jnl
Complex moment-based methods for differential eigenvalue problems.
Numer. Algorithms
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
2023 J jnl
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature.
J. Nonlinear Sci.
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
2023 J jnl
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems.
J. Comput. Appl. Math.
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
2022 J jnl
Complex moment-based methods for differential eigenvalue problems.
CoRR
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
2022 J jnl
Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time.
Numerische Mathematik
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
2022 J jnl
Rigorous numerics for nonlinear heat equations in the complex plane of time.
Numerische Mathematik
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
2022 J jnl
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity.
Commun. Nonlinear Sci. Numer. Simul.
Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2021 J jnl
A geometric characterization of unstable blow-up solutions with computer-assisted proof.
CoRR
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
2021 J jnl
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems.
CoRR
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
2020 J jnl
Numerical validation of blow-up solutions with quasi-homogeneous compactifications.
Numerische Mathematik
Kaname Matsue, Akitoshi Takayasu
2020 J jnl
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity.
J. Comput. Appl. Math.
Kaname Matsue, Akitoshi Takayasu
2020 J jnl
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems.
J. Comput. Appl. Math.
Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
2017 J jnl
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory.
SIAM J. Numer. Anal.
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
2017 J jnl
Numerical validation of blow-up solutions of ordinary differential equations.
J. Comput. Appl. Math.
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
2017 J jnl
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.
J. Comput. Appl. Math.
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
2016 J jnl
Verified Computations for Hyperbolic 3-Manifolds.
Exp. Math.
Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu
2015 — conf
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator.
MACIS
Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi