Formalized Mathematics, 2015, Volume 23, Issue 3
: [8]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Huuskonen, Taneli
Polish Notation - Huuskonen, Taneli
Grzegorczyk’s Logics. Part I - Coghetto, Roland
Convergent Filter Bases - Okazaki, Hiroyuki / Futa, Yuichi
Polynomially Bounded Sequences and Polynomial Sequences - Ziobro, Rafał
Fermat’s Little Theorem via Divisibility of Newton’s Binomial - Narita, Keiko / Shidama, Yasunari / Endou, Noboru
Weak Convergence and Weak Convergence - Narita, Keiko / Endou, Noboru / Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem - Endou, Noboru
Extended Real-Valued Double Sequence and Its Convergence
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | Extended Real-Valued Double Sequence and Its Convergence | Endou, Noboru | - | - |
2015 | The Orthogonal Projection and the Riesz Representation Theorem | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2015 | Convergent Filter Bases | Coghetto, Roland | - | - |
2015 | Polynomially Bounded Sequences and Polynomial Sequences | Okazaki, Hiroyuki; Futa, Yuichi | - | - |
2015 | Weak Convergence and Weak Convergence | Narita, Keiko; Shidama, Yasunari; Endou, Noboru | - | - |
2015 | Fermat’s Little Theorem via Divisibility of Newton’s Binomial | Ziobro, Rafał | - | - |
2015 | Grzegorczyk’s Logics. Part I | Huuskonen, Taneli | - | - |
2015 | Polish Notation | Huuskonen, Taneli | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8