Formalized Mathematics, 2022, Volume 30, Issue 4
: [4]
Strona glówna kolekcji
Zobacz statystyki
Contents
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2022 | Formalization of Orthogonal Decomposition for Hilbert Spaces | Okazaki, Hiroyuki | - | - |
2022 | Existence and Uniqueness of Algebraic Closures | Schwarzweller, Christoph | - | - |
2022 | Prime Representing Polynomial with 10 Unknowns | Pąk, Karol | - | - |
2022 | Prime Representing Polynomial with 10 Unknowns – Introduction. Part II | Pąk, Karol | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4