Isometric Differentiable Functions on Real Normed Space
Futa, Yuichi, Endou, Noboru, Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
σ-ring and σ-algebra of Sets1
Endou, Noboru, Nakasho, Kazuhisa, Shidama, Yasunari
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Weak Convergence and Weak Convergence
Narita, Keiko, Shidama, Yasunari, Endou, Noboru
F. Riesz Theorem
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Isomorphism Theorem on Vector Spaces over a Ring
Futa, Yuichi, Shidama, Yasunari
Continuity of Multilinear Operator on Normed Linear Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Operations of Points on Elliptic Curve in Affine Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Functional Space Consisted by Continuous Functions on Topological Space
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari