Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Bidual Spaces and Reflexivity of Real Normed Spaces
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Differential Equations on Functions from R into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Quotient Module of Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Embedded Lattice and Properties of Gram Matrix
Futa, Yuichi, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Functional Space Consisted by Continuous Functions on Topological Space
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari