Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari
Implicit Function Theorem. Part I
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
The Product Space of Real Normed Spaces and its Properties
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi
Double Sequences and Limits
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Measure for Product Space of Real Normed Spaces
Endou, Noboru, Shidama, Yasunari
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Yamazaki, Hiroshi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Futa, Yuichi, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari