Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
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
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
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