On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Okazaki, Hiroyuki
Gaussian Integers
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Operations of Points on Elliptic Curve in Affine Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Conservation Rules of Direct Sum Decomposition of Groups
Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
The 3-Fold Product Space of Real Normed Spaces and its Properties
Okazaki, Hiroyuki, Nakasho, Kazuhisa