Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Integrability and the Integral of Partial Functions from R into R1
Endou, Noboru, Shidama, Yasunari, Yamazaki, Masahiko
Differential Equations on Functions from R into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Normal Subgroup of Product of Groups
Okazaki, Hiroyuki, Arai, Kenichi, Shidama, Yasunari
The First Mean Value Theorem for Integrals
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Lebesgue's Convergence Theorem of Complex-Valued Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Formulation of Cell Petri Nets
Jitsukawa, Mitsuru, Kawamoto, Pauline N., Shidama, Yasunari