Z-modules
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Functional Space Consisted by Continuous Functions on Topological Space
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Differentiable Functions into Real Normed Spaces
Okazaki, Hiroyuki, Endou, Noboru, Narita, Keiko, Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Torsion Part of ℤ-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Commutative Groups
Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Integral of Measurable Function1
Endou, Noboru, Shidama, Yasunari
Continuity of Multilinear Operator on Normed Linear Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Integrability and the Integral of Partial Functions from R into R1
Endou, Noboru, Shidama, Yasunari, Yamazaki, Masahiko