Definition and Properties of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari
Torsion Part of ℤ-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Divisible ℤ-modules
Futa, Yuichi, Shidama, Yasunari
Lattice of ℤ-module
Futa, Yuichi, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Futa, Yuichi, Shidama, Yasunari
Implicit Function Theorem. Part I
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Continuity of Bounded Linear Operators on Normed Linear Spaces
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka