Formalized Mathematics, 2019, Volume 27, Issue 2
: [11]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
On Roots of Polynomials over F[X]/ 〈p〉
By: Christoph Schwarzweller
-
Isomorphisms from the Space of Multilinear Operators
By: Kazuhisa Nakasho
-
Invertible Operators on Banach Spaces
By: Kazuhisa Nakasho
-
Implicit Function Theorem. Part II
By: Kazuhisa Nakasho, Yasunari Shidama
-
On Monomorphisms and Subfields
By: Christoph Schwarzweller
-
Natural Addition of Ordinals
By: Sebastian Koch
-
About Supergraphs. Part III
By: Sebastian Koch
-
Partial Correctness of a Factorial Algorithm
By: Adrian Jaszczak, Artur Korniłowicz
-
Partial Correctness of a Power Algorithm
By: Adrian Jaszczak
-
Diophantine Sets. Part II
By: Karol Pąk
-
Formalization of the MRDP Theorem in the Mizar System
By: Karol Pąk
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 11 z 11
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | Partial Correctness of a Power Algorithm | Jaszczak, Adrian | - | - |
2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
2019 | About Supergraphs. Part III | Koch, Sebastian | - | - |
2019 | Natural Addition of Ordinals | Koch, Sebastian | - | - |
2019 | On Monomorphisms and Subfields | Schwarzweller, Christoph | - | - |
2019 | Implicit Function Theorem. Part II | Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2019 | Invertible Operators on Banach Spaces | Nakasho, Kazuhisa | - | - |
2019 | Isomorphisms from the Space of Multilinear Operators | Nakasho, Kazuhisa | - | - |
2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
2019 | On Roots of Polynomials over F[X]/ 〈p〉 | Schwarzweller, Christoph | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 11 z 11