研究業績リスト
会議発表プレゼンテーション
公開済 14/06/2024
第50回数値解析シンポジウム, 12/06/2024–14/06/2024
ジャーナル論文 - rm_published_papers: Scientific Journal
公開済 08/2023
JSIAM Letters, 15, 69 - 72
ジャーナル論文 - rm_published_papers: Scientific Journal
公開済 01/2023
Journal of Computational and Applied Mathematics, 417, 114521 - 114521
会議発表プレゼンテーション
公開済 08/09/2022
日本応用数理学会2022年度年会
ジャーナル論文 - rm_published_papers: Others
Simulation and Verified Numerics
公開済 09/2022
Journal of the Japan society for simulation technology, 41, 3, 176 - 182
ジャーナル論文 - rm_published_papers: Scientific Journal
公開済 05/2022
Japan Journal of Industrial and Applied Mathematics volume, 39, 2, 467 - 513
ジャーナル論文 - rm_published_papers: Scientific Journal
公開済 16/03/2022
JSIAM Letters, 14, 33 - 36
その他
作成日時 01/04/2021–31/03/2023
Offer Organization: -, System Name: -, Category: -, Fund Type: competitive_research_funding, Overall Grant Amount: - (direct: 3000000, indirect: 900000)
会議発表プレゼンテーション
離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について
公開済 05/03/2021
日本応用数理学会第17回 研究部会連合発表会, zoom
ジャーナル論文 - rm_published_papers: Scientific Journal
Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’
公開済 01/03/2021
Journal of Computational and Applied Mathematics, 384, 113175