The First Mean Value Theorem for Integrals
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
The Lebesgue Monotone Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Continuity of Bounded Linear Operators on Normed Linear Spaces
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Nakasho, Kazuhisa, Shidama, Yasunari
Cartesian Products of Family of Real Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, 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
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari
Riemann Indefinite Integral of Functions of Real Variable
Shidama, Yasunari, Endou, Noboru, Wasaki, Katsumi
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari