Kaname Matsue
Orcid: 0000-0003-1143-654X
According to our database1,
Kaname Matsue
authored at least 12 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
Numerische Mathematik, 2020
A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations.
JSIAM Lett., 2020
J. Comput. Appl. Math., 2020
2018
SIAM J. Appl. Dyn. Syst., 2018
2017
Quantum Inf. Comput., 2017
J. Comput. Appl. Math., 2017
J. Comput. Appl. Math., 2017
2016
2011
Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory.
SIAM J. Appl. Dyn. Syst., 2011