Przeglądaj przez Autor Okazaki, Hiroyuki
Pokazuję rezultaty 1 do 20 z 51
Dalej >
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | Algebra of Polynomially Bounded Sequences and Negligible Functions | Okazaki, Hiroyuki | - | - |
2011 | Banach Algebra of Bounded Complex-Valued Functionals | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Banach’s Continuous Inverse Theorem and Closed Graph Theorem | Sakurai, Hideki; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2018 | Binary Representation of Natural Numbers | Okazaki, Hiroyuki | - | - |
2011 | Cartesian Products of Family of Real Linear Spaces | Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari | - | - |
2016 | Conservation Rules of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Constructing Binary Huffman Tree | Okazaki, Hiroyuki; Futa, Yuichi; Shidama, Yasunari | - | - |
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 | - | - |