On Lp Space Formed by Real-Valued Partial Functions
Yasushige Watase, Noboru Endou, Yasunari Shidama
Dual Spaces and Hahn-Banach Theorem
Keiko Narita, Noboru Endou, Yasunari Shidama
Differentiable Functions on Normed Linear Spaces
Yasunari Shidama
Dual Lattice of ℤ-module Lattice
Yuichi Futa, Yasunari Shidama
The Product Space of Real Normed Spaces and its Properties
Noboru Endou, Yasunari Shidama, Keiichi Miyajima
Fatou's Lemma and the Lebesgue's Convergence Theorem
Noboru Endou, Keiko Narita, Yasunari Shidama
Formalization of Integral Linear Space
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Complex Integral
Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama, Katsumi Wasaki
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
Differentiable Functions into Real Normed Spaces
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
Integrability and the Integral of Partial Functions from R into R1
Noboru Endou, Yasunari Shidama, Masahiko Yamazaki