Przeglądaj przez Autor Okazaki, Hiroyuki
Pokazuję rezultaty 12 do 31 z 51
< Porzedni
Dalej >
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 | - | - |
2012 | Extended Euclidean Algorithm and CRT Algorithm | Okazaki, Hiroyuki; Aoki, Yosiki; Shidama, Yasunari | - | - |
2021 | Finite Dimensional Real Normed Spaces are Proper Metric Spaces | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2011 | Formalization of Integral Linear Space | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2022 | Formalization of Orthogonal Decomposition for Hilbert Spaces | Okazaki, Hiroyuki | - | - |
2013 | Formalization of the Advanced Encryption Standard. Part I | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
2012 | Formalization of the Data Encryption Standard | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Functional Space C(ω), C0(ω) | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Gaussian Integers | Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari | - | - |
2012 | Higher-Order Partial Differentiation | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2009 | Hopf Extension Theorem of Measure | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order | Yamazaki, Hiroshi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2013 | Isomorphisms of Direct Products of Finite Commutative Groups | Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2012 | Isomorphisms of Direct Products of Finite Cyclic Groups | Arai, Kenichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2015 | Matrix of ℤ-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2019 | Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm | Okazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi | - | - |
2011 | More on Continuous Functions on Normed Linear Spaces | Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | N-Dimensional Binary Vector Spaces | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
2011 | Normal Subgroup of Product of Groups | Okazaki, Hiroyuki; Arai, Kenichi; Shidama, Yasunari | - | - |