Formalized Mathematics, 2021, Volume 29, Issue 1
: [6]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
Derivation of Commutative Rings and the Leibniz Formula for
Power of Derivation
Yasushige Watase
-
Inverse Function Theorem. Part I
Kazuhisa Nakasho and Yuichi Futa
-
Miscellaneous Graph Preliminaries. Part I
Sebastian Koch
-
Algebraic Extensions
Christoph Schwarzweller and Agnieszka Rowińska-Schwarzweller
-
Functional Space Consisted by Continuous Functions on Topological Space
Hiroshi Yamazaki, Keiichi Miyajima and Yasunari Shidama
-
Elementary Number Theory Problems. Part II
Artur Korniłowicz and Dariusz Surowik
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) |
---|---|---|---|---|
2021 | Elementary Number Theory Problems. Part II | Korniłowicz, Artur; Surowik, Dariusz | - | - |
2021 | Functional Space Consisted by Continuous Functions on Topological Space | Yamazaki, Hiroshi; Miyajima, Keiichi; Shidama, Yasunari | - | - |
2021 | Algebraic Extensions | Schwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka | - | - |
2021 | Miscellaneous Graph Preliminaries. Part I | Koch, Sebastian | - | - |
2021 | Inverse Function Theorem. Part I | Nakasho, Kazuhisa; Futa, Yuichi | - | - |
2021 | Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation | Watase, Yasushige | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6