W BIAŁYMSTOKU
Formalized Mathematics, 2012, Volume 20, Issue 4
: [10]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Okazaki, Hiroyuki
Posterior Probability on Finite Set - Ma, Na / Liang, Xiquan
Basic Properties of Primitive Root and Order Function - Sakurai, Hideki / Okazaki, Hiroyuki / Shidama, Yasunari
Banach’s Continuous Inverse Theorem and Closed Graph Theorem - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Free Z-module - Korniłowicz, Artur
Cayley-Dickson Construction - Miyajima, Keiichi / Korniłowicz, Artur / Shidama, Yasunari
Contracting Mapping on Normed Linear Space - Korniłowicz, Artur
Products in Categories without Uniqueness of cod and dom - Bancerek, Grzegorz
Program Algebra over an Algebra - Arai, Kenichi / Okazaki, Hiroyuki / Shidama, Yasunari
Isomorphisms of Direct Products of Finite Cyclic Groups - Bancerek, Grzegorz
On L1 Space Formed by Complex-Valued Partial Functions
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2012 | Isomorphisms of Direct Products of Finite Cyclic Groups | Arai, Kenichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2012 | On L1 Space Formed by Complex-Valued Partial Functions | Watase, Yasushige; Endou, Noboru; Shidama, Yasunari | - | - |
| 2012 | Free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2012 | Program Algebra over an Algebra | Bancerek, Grzegorz | - | - |
| 2012 | Cayley-Dickson Construction | Korniłowicz, Artur | - | - |
| 2012 | Products in Categories without Uniqueness of cod and dom | Korniłowicz, Artur | - | - |
| 2012 | Contracting Mapping on Normed Linear Space | Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari | - | - |
| 2012 | Posterior Probability on Finite Set | Okazaki, Hiroyuki | - | - |
| 2012 | Banach’s Continuous Inverse Theorem and Closed Graph Theorem | Sakurai, Hideki; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2012 | Basic Properties of Primitive Root and Order Function | Ma, Na; Liang, Xiquan | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10