Formalized Mathematics, 2015, Volume 23, Issue 1
: [6]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Riccardi, Marco
Categorical Pullbacks - Nakasho, Kazuhisa / Yamazaki, Hiroshi / Okazaki, Hiroyuki / Shidama, Yasunari
Definition and Properties of Direct Sum Decomposition of Groups - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Matrix of ℤ-module - Endou, Noboru / Nakasho, Kazuhisa / Shidama, Yasunari
σ-ring and σ-algebra of Sets - Nakasho, Kazuhisa / Endou, Noboru
Separability of Real Normed Spaces and Its Basic Properties - Nakasho, Kazuhisa / Okazaki, Hiroyuki / Yamazaki, Hiroshi / Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | σ-ring and σ-algebra of Sets | Endou, Noboru; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2015 | Definition and Properties of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2015 | Separability of Real Normed Spaces and Its Basic Properties | Nakasho, Kazuhisa; Endou, Noboru | - | - |
2015 | Categorical Pullbacks | Riccardi, Marco | - | - |
2015 | Equivalent Expressions of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2015 | Matrix of ℤ-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6