Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Integral of Real-Valued Measurable Function1
Shidama, Yasunari, Endou, Noboru
Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari