@phdthesis{oai:uec.repo.nii.ac.jp:00010205,
 author = {新田, 光輝 and Nitta, Koki},
 month = {2022-04-14},
 note = {2021},
 school = {電気通信大学},
 title = {精度保証付き数値計算によるLyapunov関数の応用と展開},
 year = {},
 yomi = {ニッタ, コウキ}
}