Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Embedded Lattice and Properties of Gram Matrix
Futa, Yuichi, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari