The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Hopf Extension Theorem of Measure
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
The Cauchy-Riemann Differential Equations of Complex Functions
Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
Cartesian Products of Family of Real Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Set of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
The Differentiable Functions from R into Rn
Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari
Differentiable Functions on Normed Linear Spaces
Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
Gaussian Integers
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari