Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | The Borsuk-Ulam Theorem | Korniłowicz, Artur; Riccardi, Marco | - | - |
2012 | Cayley-Dickson Construction | Korniłowicz, Artur | - | - |
2013 | Commutativeness of Fundamental Groups of Topological Groups | Korniłowicz, Artur | - | - |
2012 | Products in Categories without Uniqueness of cod and dom | Korniłowicz, Artur | - | - |
2017 | All Liouville Numbers are Transcendental | Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam | - | - |
2017 | Basel Problem – Preliminaries | Korniłowicz, Artur; Pąk, Karol | - | - |
2017 | Basel Problem | Pąk, Karol; Korniłowicz, Artur | - | - |
2018 | An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2017 | Vieta’s Formula about the Sum of Roots of Polynomials | Korniłowicz, Artur; Pąk, Karol | - | - |
2017 | Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations | Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur | - | - |