Isomorphism Theorem on Vector Spaces over a Ring
Futa, Yuichi, Shidama, Yasunari
Differential Equations on Functions from R into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, 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
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Integral of Real-Valued Measurable Function1
Shidama, Yasunari, Endou, Noboru
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Double Sequences and Limits
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari