フタ ユウイチ   Futa Yuichi
  布田 裕一
   所属   コンピュータサイエンス学部 コンピュータサイエンス学科
   職種   教授
言語種別 英語
発行・発表の年月 2014/12
形態種別 学術論文
査読 査読あり
標題 Torsion Z-module and Torsion-free Z-module
執筆形態 共著
掲載誌名 Formalized Mathematics
掲載区分国外
出版社・発行元 de Gruyter
巻・号・頁 22(4),pp.277-289
著者・共著者 Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho and Yasunari Shidama