Akitoshi Takayasu

Available identifiers

zbMath Open takayasu.akitoshiMaRDI QIDQ345952

List of research outcomes

Publication	Date of Publication	Type
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems	2023-06-19	Paper
Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature	2023-05-03	Paper
Complex moment-based methods for differential eigenvalue problems	2023-01-23	Paper
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence	2022-11-13	Paper
Rigorous numerics for nonlinear heat equations in the complex plane of time	2022-06-28	Paper
Global dynamics in nonconservative nonlinear Schrödinger equations	2022-03-04	Paper
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity	2022-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5151125	2021-02-16	Paper
Numerical validation of blow-up solutions with quasi-homogeneous compactifications	2020-07-07	Paper
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity	2020-03-23	Paper
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems	2020-02-05	Paper
Rigorous numerics for nonlinear heat equations in the complex plane of time	2019-10-28	Paper
Rigorous numerical computations for 1D advection equations with variable coefficients	2019-08-15	Paper
Rigorous numerical computations for 1D advection equations with variable coefficients	2018-03-07	Paper
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory	2017-05-24	Paper
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations	2016-12-22	Paper
Numerical validation of blow-up solutions of ordinary differential equations	2016-12-02	Paper
Accurate method of verified computing for solutions of semilinear heat equations	2016-11-30	Paper
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator	2016-05-25	Paper
Verified Computations for Hyperbolic 3-Manifolds	2016-04-19	Paper
Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation	2015-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q5188261	2010-03-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Akitoshi Takayasu