Kaname Matsue

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Expected Values

Mathematical Problem Solving

Numerical Integration

Surgical Training

Top Venues

J. Comput. Appl. Math.

SIAM J. Appl. Dyn. Syst.

Publications

Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J. Nonlinear Sci. 33 (3) (2023)
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]. J. Comput. Appl. Math. 384 (2021)
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
A geometric characterization of unstable blow-up solutions with computer-assisted proof. CoRR (2021)
Kaname Matsue, Akitoshi Takayasu
Numerical validation of blow-up solutions with quasi-homogeneous compactifications. Numerische Mathematik 145 (3) (2020)
Kaname Matsue, Akitoshi Takayasu
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity. J. Comput. Appl. Math. 374 (2020)
Yu Ichida, Kaname Matsue, Takashi Okuda Sakamoto
A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations. JSIAM Lett. 12 (2020)
Kaname Matsue
On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications. SIAM J. Appl. Dyn. Syst. 17 (3) (2018)
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
Numerical validation of blow-up solutions of ordinary differential equations. J. Comput. Appl. Math. 314 (2017)
Norio Konno, Kaname Matsue, Hideo Mitsuhashi, Iwao Sato
Quaternionic quantum walks of Szegedy type and zeta functions of graphs. Quantum Inf. Comput. 17 (15&16) (2017)
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
On the construction of Lyapunov functions with computer assistance. J. Comput. Appl. Math. 319 (2017)
Kaname Matsue, Osamu Ogurisu, Etsuo Segawa
Quantum walks on simplicial complexes. Quantum Inf. Process. 15 (5) (2016)
Kaname Matsue
Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory. SIAM J. Appl. Dyn. Syst. 10 (1) (2011)