The following pages link to Kaname Matsue (Q267850):
Displaying 23 items.
- Structural analysis of metallic glasses with computational homology (Q267853) (← links)
- Quantum walks on simplicial complexes (Q296105) (← links)
- Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
- Numerical studies of the optimization of the first eigenvalue of the heat diffusion in inhomogeneous media (Q495856) (← links)
- On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
- Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach (Q684070) (← links)
- Numerical validation of blow-up solutions with quasi-homogeneous compactifications (Q777511) (← links)
- A mathematical treatment of the bump structure of particle-laden flows with particle features (Q2107469) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Errata to: ``On the construction of Lyapunov functions with computer assistance'' (Q2222080) (← links)
- Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs (Q2273515) (← links)
- Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity (Q2306381) (← links)
- Quantum search on simplicial complexes (Q2329932) (← links)
- Resonant-tunneling in discrete-time quantum walk (Q2329938) (← links)
- (Q2818505) (← links)
- Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory (Q2996505) (← links)
- On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications (Q4686626) (← links)
- A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations (Q5141712) (← links)
- A Note on the Spectral Mapping Theorem of Quantum Walk Models (Q5147820) (← links)
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)
- A crossover between open quantum random walks to quantum walks (Q6137768) (← links)
- Characterization of Maximizers in A Non-Convex Geometric Optimization Problem With Application to Optical Wireless Power Transfer Systems (Q6531512) (← links)