Isomorphism Theorem on Vector Spaces over a Ring
Futa, Yuichi, 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
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Differentiable Functions into Real Normed Spaces
Okazaki, Hiroyuki, Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Integral of Continuous Functions of Two Variables
Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Compactness in Metric Spaces
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Higher Order Partial Differentiable Functions
Nakasho, Kazuhisa, Shidama, Yasunari
Riemann Indefinite Integral of Functions of Real Variable
Shidama, Yasunari, Endou, Noboru, Wasaki, Katsumi
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari