Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2017 | Basel Problem | Pąk, Karol; Korniłowicz, Artur | - | - |
2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
2017 | The Matiyasevich Theorem. Preliminaries | Pąk, Karol | - | - |
2017 | Vieta’s Formula about the Sum of Roots of Polynomials | Korniłowicz, Artur; Pąk, Karol | - | - |
2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
2015 | Flexary Operations | Pąk, Karol | - | - |
2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
2012 | The Rotation Group | Pąk, Karol | - | - |
2011 | Continuity of Barycentric Coordinates in Euclidean Topological Spaces | Pąk, Karol | - | - |
2010 | Affine Independence in Vector Spaces | Pąk, Karol | - | - |
Odkryj
Temat