Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
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
Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Double Sequences and Limits
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Partial Differentiation on Normed Linear Spaces Rn
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi
The Product Space of Real Normed Spaces and its Properties
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi