Przeglądaj przez Autor Shidama, Yasunari
Pokazuję rezultaty 30 do 49 z 92
< Porzedni
Dalej >
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
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 | - | - |
2012 | Free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Functional Space C(ω), C0(ω) | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | Functional Space Consisted by Continuous Functions on Topological Space | Yamazaki, Hiroshi; Miyajima, Keiichi; 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 | - | - |
2017 | Implicit Function Theorem. Part I | Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari | - | - |
2019 | Implicit Function Theorem. Part II | Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2023 | Integral of Continuous Functions of Two Variables | Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Isometric Differentiable Functions on Real Normed Space | Futa, Yuichi; Endou, Noboru; Shidama, Yasunari | - | - |
2017 | Isomorphism Theorem on Vector Spaces over a Ring | Futa, Yuichi; 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 | - | - |