Extended Euclidean Algorithm and CRT Algorithm
Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari
Riemann Integral of Functions from R into Real Normed Space
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
The Cauchy-Riemann Differential Equations of Complex Functions
Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
The First Mean Value Theorem for Integrals
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Higher-Order Partial Differentiation
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Okazaki, Hiroyuki, Shidama, Yasunari
The Lebesgue Monotone Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
On L1 Space Formed by Complex-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari