Kaname Matsue

Orcid: 0000-0003-1143-654X

According to our database1, Kaname Matsue authored at least 12 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature.
J. Nonlinear Sci., June, 2023

2021
Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412].
J. Comput. Appl. Math., 2021

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

2020
Numerical validation of blow-up solutions with quasi-homogeneous compactifications.
Numerische Mathematik, 2020

A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations.
JSIAM Lett., 2020

Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity.
J. Comput. Appl. Math., 2020

2018
On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications.
SIAM J. Appl. Dyn. Syst., 2018

2017
Quaternionic quantum walks of Szegedy type and zeta functions of graphs.
Quantum Inf. Comput., 2017

Numerical validation of blow-up solutions of ordinary differential equations.
J. Comput. Appl. Math., 2017

On the construction of Lyapunov functions with computer assistance.
J. Comput. Appl. Math., 2017

2016
Quantum walks on simplicial complexes.
Quantum Inf. Process., 2016

2011
Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory.
SIAM J. Appl. Dyn. Syst., 2011


  Loading...