Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Riemann Integral of Functions from R into Rn
Miyajima, Keiichi, Shidama, Yasunari
Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Differentiable Functions into Real Normed Spaces
Okazaki, Hiroyuki, Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Formulation of Cell Petri Nets
Jitsukawa, Mitsuru, Kawamoto, Pauline N., Shidama, Yasunari
Continuity of Multilinear Operator on Normed Linear Spaces
Nakasho, Kazuhisa, Shidama, Yasunari