Properties of Primes and Multiplicative Group of a Field
Arai, Kenichi, Okazaki, Hiroyuki
Binary Representation of Natural Numbers
Okazaki, Hiroyuki
Probability on Finite and Discrete Set and Uniform Distribution
Okazaki, Hiroyuki
Torsion Z-module and Torsion-free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari
Random Variables and Product of Probability Spaces
Okazaki, Hiroyuki, Shidama, Yasunari
Extended Euclidean Algorithm and CRT Algorithm
Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari
Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Normal Subgroup of Product of Groups
Okazaki, Hiroyuki, Arai, Kenichi, Shidama, Yasunari
Banach Algebra of Bounded Complex-Valued Functionals
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Formalization of Orthogonal Decomposition for Hilbert Spaces
Okazaki, Hiroyuki
Isomorphisms of Direct Products of Finite Commutative Groups
Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari