Probability on Finite and Discrete Set and Uniform Distribution
Okazaki, Hiroyuki
Formalization of Orthogonal Decomposition for Hilbert Spaces
Okazaki, Hiroyuki
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Properties of Primes and Multiplicative Group of a Field
Arai, Kenichi, Okazaki, Hiroyuki
Binary Representation of Natural Numbers
Okazaki, Hiroyuki
Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari