Formalized Mathematics, 2011, Volume 19, Issue 1
: [10]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Inoué, Takao / Naumowicz, Adam / Endou, Noboru / Shidama, Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces - Liang, Xiquan / Li, Dailu
Some Properties of p-Groups and Commutative p-Groups - Miyajima, Keiichi / Kato, Takahiro / Shidama, Yasunari
Riemann Integral of Functions from R into Real Normed Space - Okazaki, Hiroyuki / Arai, Kenichi / Shidama, Yasunari
Normal Subgroup of Product of Groups - Rudnicki, Piotr / Stewart, Lorna
The Mycielskian of a Graph - Liang, Xiquan / Tang, Ling / Jiang, Xichun
Difference and Difference Quotient. Part IV - Riccardi, Marco
The Definition of Topological Manifolds - Okazaki, Hiroyuki / Endou, Noboru / Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces - Okazaki, Hiroyuki / Endou, Noboru / Shidama, Yasunari
Cartesian Products of Family of Real Linear Spaces - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Formalization of Integral Linear Space
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) |
---|---|---|---|---|
2011 | Formalization of Integral Linear Space | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2011 | Cartesian Products of Family of Real Linear Spaces | Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari | - | - |
2011 | More on Continuous Functions on Normed Linear Spaces | Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari | - | - |
2011 | The Definition of Topological Manifolds | Riccardi, Marco | - | - |
2011 | Normal Subgroup of Product of Groups | Okazaki, Hiroyuki; Arai, Kenichi; Shidama, Yasunari | - | - |
2011 | Difference and Difference Quotient. Part IV | Liang, Xiquan; Tang, Ling; Jiang, Xichun | - | - |
2011 | The Mycielskian of a Graph | Rudnicki, Piotr; Stewart, Lorna | - | - |
2011 | Some Properties of p-Groups and Commutative p-Groups | Liang, Xiquan; Li, Dailu | - | - |
2011 | Riemann Integral of Functions from R into Real Normed Space | Miyajima, Keiichi; Kato, Takahiro; Shidama, Yasunari | - | - |
2011 | Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces | Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10