著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Wu, Wen-tsün","Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving",,"Kluwer Academic Publishers,Science Press",2000,Mathematics and its applications,,"7030066863,079235835X",,https://cir.nii.ac.jp/crid/1130000796503848448