Przeglądaj przez Autor Okazaki, Hiroyuki
Pokazuję rezultaty 8 do 27 z 51
< Porzedni
Dalej >
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | Definition and Properties of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2014 | Difference of Function on Vector Space over F | Arai, Kenichi; Wakabayashi, Ken; Okazaki, Hiroyuki | - | - |
2011 | Differentiable Functions into Real Normed Spaces | Okazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari | - | - |
2013 | Double Sequences and Limits | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
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 | - | - |