Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
On Implicit and Inverse Function Theorems on Euclidean Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Integral of Continuous Functions of Two Variables
Endou, Noboru, Shidama, Yasunari
Universality of Measure Space
Endou, Noboru, Shidama, Yasunari
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Nakasho, Kazuhisa, Shidama, Yasunari
Implicit Function Theorem. Part II
Nakasho, Kazuhisa, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Yamazaki, Hiroshi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari
Higher Order Partial Differentiable Functions
Nakasho, Kazuhisa, Shidama, Yasunari