文献

J-GLOBAL ID：201902220420540239   整理番号：19S1263863

Conservation Rules of Direct Sum Decomposition of Groups

著者 (4件)： Nakasho, Kazuhisa (Shinshu University) ,  Yamazaki, Hiroshi (Shinshu University) ,  Okazaki, Hiroyuki (Shinshu University) ,  Shidama, Yasunari (Shinshu University)
資料名： Formalized Mathematics
巻： 24  号： 1  ページ： 81-94  発行年： 2016年 
JST資料番号： SCOPUS  ISSN： 1426-2630 
発行国： ドイツ (DEU)  言語： 英語 (EN)