著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "山本, 野人",常微分方程式で記述される非線形力学系に関する精度保証付き計算法の研究,,[電気通信大学],2008,科学研究費補助金(基盤研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130282269478945664