Art
J-GLOBAL ID：201902202260625668   Reference number：19S0476501

Definition and Properties of Direct Sum Decomposition of Groups

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (4)：
Nakasho, Kazuhisa

About Nakasho, Kazuhisa

(Shinshu University)

About Shinshu University

, 
Yamazaki, Hiroshi

About Yamazaki, Hiroshi

(Shinshu University)

About Shinshu University

, 
Okazaki, Hiroyuki

About Okazaki, Hiroyuki

(Shinshu University)

About Shinshu University

, 
Shidama, Yasunari

About Shidama, Yasunari

(Shinshu University)

About Shinshu University


Material：
Formalized Mathematics

About Formalized Mathematics


Volume： 23  Issue： 1  Page： 15-27  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 1426-2630 
Country of issue： Germany (DEU)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM