著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"中尾, 充宏 and 横山, 和弘","Computer assisted proofs : numeric and symbolic approaches : spring tutorial seminar : March 5-8, 2005, Faculty of Mathematics, Kyushu University",,九州大学大学院数理学研究院21世紀COEプログラム「機能数理学の構築と展開」,2006,COE lecture note : Kyushu University,,,,https://cir.nii.ac.jp/crid/1130000797152015872