Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Higher Order Partial Differentiable Functions
Nakasho, Kazuhisa, Shidama, Yasunari
Integral of Complex-Valued Measurable Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Continuity of Bounded Linear Operators on Normed Linear Spaces
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Banach Algebra of Bounded Complex-Valued Functionals
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam