Banach Algebra of Bounded Complex-Valued Functionals
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
Quotient Module of Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Riemann Integral of Functions from R into Real Normed Space
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Differentiation in Normed Spaces
Endou, Noboru, Shidama, Yasunari
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Yamazaki, Hiroshi, Endou, Noboru, Shidama, Yasunari, Okazaki, Hiroyuki
Cartesian Products of Family of Real Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions from R into Rn
Miyajima, Keiichi, Shidama, Yasunari