On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Okazaki, Hiroyuki
Formalization of Orthogonal Complements of Normed Spaces
Okazaki, Hiroyuki
Set of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Constructing Binary Huffman Tree
Okazaki, Hiroyuki, Futa, Yuichi, Shidama, Yasunari
Definition and Properties of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari
Torsion Part of ℤ-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
N-Dimensional Binary Vector Spaces
Arai, Kenichi, Okazaki, Hiroyuki
Difference of Function on Vector Space over F
Arai, Kenichi, Wakabayashi, Ken, Okazaki, Hiroyuki
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
Okazaki, Hiroyuki, Nagao, Koh-ichi, Futa, Yuichi
Operations of Points on Elliptic Curve in Affine Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
The Ck Space
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari