Measure for Product Space of Real Normed Spaces
Endou, Noboru, Shidama, Yasunari
The First Mean Value Theorem for Integrals
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
F. Riesz Theorem
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Endou, Noboru, Shidama, Yasunari, Okamura, Katsumasa
Differentiable Functions into Real Normed Spaces
Okazaki, Hiroyuki, Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Complex Integral
Yamazaki, Masahiko, Yamazaki, Hiroshi, Shidama, Yasunari, Wasaki, Katsumi
Integrability and the Integral of Partial Functions from R into R1
Endou, Noboru, Shidama, Yasunari, Yamazaki, Masahiko
Riemann-Stieltjes Integral
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari