Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Isomorphism Theorem on Vector Spaces over a Ring
Futa, Yuichi, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Set of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Lebesgue's Convergence Theorem of Complex-Valued Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Higher-Order Partial Differentiation
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Differentiation in Normed Spaces
Endou, Noboru, Shidama, Yasunari
Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari