My research is based on dynamical systems with computer-assisted proof (rigorous numerics).In particular, I study systematic verification methodologies for “proving” solu … 続きを読む MATSUE, Kaname