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