W BIAŁYMSTOKU
Przeglądaj przez Autor Shidama, Yasunari
Pokazuję rezultaty 16 do 35 z 92
< 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 | Definition of Flat Poset and Existence Theorems for Recursive Call | Ishida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam | - | - |
| 2011 | Differentiable Functions into Real Normed Spaces | Okazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari | - | - |
| 2012 | Differentiable Functions on Normed Linear Spaces | Shidama, Yasunari | - | - |
| 2013 | Differential Equations on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
| 2013 | Differentiation in Normed Spaces | Endou, Noboru; Shidama, Yasunari | - | - |
| 2010 | Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces | Inoué, Takao; Endou, Noboru; Shidama, Yasunari | - | - |
| 2016 | Divisible ℤ-modules | Futa, Yuichi; Shidama, Yasunari | - | - |
| 2013 | Double Sequences and Limits | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2017 | Dual Lattice of ℤ-module Lattice | Futa, Yuichi; Shidama, Yasunari | - | - |
| 2014 | Dual Spaces and Hahn-Banach Theorem | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
| 2017 | Embedded Lattice and Properties of Gram Matrix | Futa, Yuichi; 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 | - | - |
| 2017 | F. Riesz Theorem | Narita, Keiko; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
| 2021 | Finite Dimensional Real Normed Spaces are Proper Metric Spaces | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2010 | Fixpoint Theorem for Continuous Functions on Chain-Complete Posets | Ishida, Kazuhisa; Shidama, Yasunari | - | - |
| 2011 | Formalization of Integral Linear Space | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2012 | Formalization of the Data Encryption Standard | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2013 | Formulation of Cell Petri Nets | Jitsukawa, Mitsuru; Kawamoto, Pauline N.; Shidama, Yasunari | - | - |