The 3-Fold Product Space of Real Normed Spaces and its Properties
Okazaki, Hiroyuki, Nakasho, Kazuhisa
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Probability on Finite and Discrete Set and Uniform Distribution
Okazaki, Hiroyuki
Formalization of Orthogonal Complements of Normed Spaces
Okazaki, Hiroyuki
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Definition and Properties of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari