Have a personal or library account? Click to login

Showing 49-55 of 55 for the term ""Okazaki, Hiroyuki""

Gaussian Integers
Article

Gaussian Integers

Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Formalization of Orthogonal Decomposition for Hilbert Spaces
Article

Formalization of Orthogonal Decomposition for Hilbert Spaces

Okazaki, Hiroyuki
Z-modules
Article

Z-modules

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Matrix of ℤ-module1
Article

Matrix of ℤ-module1

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
Article

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

Okazaki, Hiroyuki, Nagao, Koh-ichi, Futa, Yuichi
Formalization of the Data Encryption Standard
Article

Formalization of the Data Encryption Standard

Okazaki, Hiroyuki, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Article

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari