REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Okazaki, Hiroyuki

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 10 do 29 z 51 < Porzedni   Dalej >
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2011Differentiable Functions into Real Normed SpacesOkazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari--
2013Double Sequences and LimitsEndou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari--
2015Equivalent Expressions of Direct Sum Decomposition of GroupsNakasho, Kazuhisa; Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari--
2012Extended Euclidean Algorithm and CRT AlgorithmOkazaki, Hiroyuki; Aoki, Yosiki; Shidama, Yasunari--
2021Finite Dimensional Real Normed Spaces are Proper Metric SpacesNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Formalization of Integral Linear SpaceFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2022Formalization of Orthogonal Decomposition for Hilbert SpacesOkazaki, Hiroyuki--
2013Formalization of the Advanced Encryption Standard. Part IArai, Kenichi; Okazaki, Hiroyuki--
2012Formalization of the Data Encryption StandardOkazaki, Hiroyuki; Shidama, Yasunari--
2012Free Z-moduleFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2012Functional Space C(ω), C0(ω)Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari--
2013Gaussian IntegersFuta, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari--
2012Higher-Order Partial DifferentiationEndou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari--
2009Hopf Extension Theorem of MeasureEndou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari--
2013Isomorphisms of Direct Products of Cyclic Groups of Prime Power OrderYamazaki, Hiroshi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari--
2013Isomorphisms of Direct Products of Finite Commutative GroupsOkazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari--
2012Isomorphisms of Direct Products of Finite Cyclic GroupsArai, Kenichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2015Matrix of ℤ-moduleFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2019Maximum Number of Steps Taken by Modular Exponentiation and Euclidean AlgorithmOkazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi--
2011More on Continuous Functions on Normed Linear SpacesOkazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari--