Banach Algebra of Bounded Complex-Valued Functionals
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Commutative Groups
Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Partial Differentiation on Normed Linear Spaces Rn
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi
Random Variables and Product of Probability Spaces
Okazaki, Hiroyuki, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
On L1 Space Formed by Complex-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Integral of Real-Valued Measurable Function1
Shidama, Yasunari, Endou, Noboru
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari
Cell Petri Net Concepts
Jitsukawa, Mitsuru, Kawamoto, Pauline, Shidama, Yasunari, Nakamura, Yatsuka
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari