| Publication | Date of Publication | Type |
|---|
Rigorous numerics for fast-slow systems
Sugaku Expositions | 2024-02-21 | Paper |
A crossover between open quantum random walks to quantum walks
Journal of Statistical Physics | 2024-01-16 | Paper |
On a characterization of blow-up behavior for ODEs with normally hyperbolic nature in dynamics at infinity
| 2023-07-18 | Paper |
Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
Journal of Nonlinear Science | 2023-05-03 | Paper |
A mathematical treatment of the bump structure of particle-laden flows with particle features
Japan Journal of Industrial and Applied Mathematics | 2022-12-01 | Paper |
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I -- Method and Justification
| 2022-11-13 | Paper |
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence
| 2022-11-13 | Paper |
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
Japan Journal of Industrial and Applied Mathematics | 2022-05-09 | Paper |
Errata to: ``On the construction of Lyapunov functions with computer assistance
Journal of Computational and Applied Mathematics | 2021-02-03 | Paper |
A note on the spectral mapping theorem of quantum walk models
Interdisciplinary Information Sciences | 2021-01-28 | Paper |
A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations
JSIAM Letters | 2020-12-18 | Paper |
Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Numerische Mathematik | 2020-07-07 | Paper |
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
Journal of Computational and Applied Mathematics | 2020-03-23 | Paper |
Quantum search on simplicial complexes
Quantum Studies: Mathematics and Foundations | 2019-10-18 | Paper |
Resonant-tunneling in discrete-time quantum walk
Quantum Studies: Mathematics and Foundations | 2019-10-18 | Paper |
Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs
Journal of Differential Equations | 2019-09-24 | Paper |
On blow-up solutions of differential equations with Poincaré-type compactifications
SIAM Journal on Applied Dynamical Systems | 2018-10-04 | Paper |
Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
Topological Methods in Nonlinear Analysis | 2018-02-09 | Paper |
Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications
| 2017-11-06 | Paper |
Toward a mathematical analysis for a model of suspension flowing down an inclined plane
| 2017-09-01 | Paper |
On the construction of Lyapunov functions with computer assistance
Journal of Computational and Applied Mathematics | 2017-03-16 | Paper |
Quaternionic quantum walks of Szegedy type and zeta functions of graphs
| 2017-03-15 | Paper |
Rigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems
| 2016-12-07 | Paper |
Numerical validation of blow-up solutions of ordinary differential equations
Journal of Computational and Applied Mathematics | 2016-12-02 | Paper |
Optimization of the first eigenvalue of the heat diffusion in inhomogeneous media: global well-posedness of the viscous approximation problems
RIMS Kôkyûroku Bessatsu | 2016-09-07 | Paper |
Quantum walks on simplicial complexes
Quantum Information Processing | 2016-06-14 | Paper |
Structural analysis of metallic glasses with computational homology
SpringerBriefs in the Mathematics of Materials | 2016-04-11 | Paper |
Numerical studies of the optimization of the first eigenvalue of the heat diffusion in inhomogeneous media
Japan Journal of Industrial and Applied Mathematics | 2015-09-15 | Paper |
Rigorous verification of bifurcations of differential equations via the Conley index theory
SIAM Journal on Applied Dynamical Systems | 2011-05-02 | Paper |
Characterization of Maximizers in A Non-Convex Geometric Optimization Problem With Application to Optical Wireless Power Transfer Systems
| N/A | Paper |
