Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | Equivalent Expressions of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2015 | Matrix of ℤ-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2009 | Properties of Primes and Multiplicative Group of a Field | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
2018 | Binary Representation of Natural Numbers | Okazaki, Hiroyuki | - | - |
2019 | Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm | Okazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi | - | - |
2019 | Operations of Points on Elliptic Curve in Affine Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | Real Vector Space and Related Notions | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | Finite Dimensional Real Normed Spaces are Proper Metric Spaces | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | The 3-Fold Product Space of Real Normed Spaces and its Properties | Okazaki, Hiroyuki; Nakasho, Kazuhisa | - | - |
2022 | Formalization of Orthogonal Decomposition for Hilbert Spaces | Okazaki, Hiroyuki | - | - |