Formalized Mathematics, 2020, Volume 28, Issue 2
: [8]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
Renamings and a Condition-free Formalization of Kronecker’s Construction
Christoph Schwarzweller
-
Refined Finiteness and Degree Properties in Graphs
Sebastian Koch
-
About Graph Unions and Intersections
Sebastian Koch
-
Unification of Graphs and Relations in Mizar
Sebastian Koch
-
Partial Correctness of a Fibonacci Algorithm
Artur Korniłowicz
-
Multiplication-Related Classes of Complex Numbers
Rafał Ziobro
-
Grothendieck Universes
Karol Pąk
-
Formalization of Quasilattices
Dominik Kulesza, Adam Grabowski
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2020 | Formalization of Quasilattices | Kulesza, Dominik; Grabowski, Adam | - | - |
2020 | Grothendieck Universes | Pąk, Karol | - | - |
2020 | Multiplication-Related Classes of Complex Numbers | Ziobro, Rafał | - | - |
2020 | Partial Correctness of a Fibonacci Algorithm | Korniłowicz, Artur | - | - |
2020 | Unification of Graphs and Relations in Mizar | Koch, Sebastian | - | - |
2020 | About Graph Unions and Intersections | Koch, Sebastian | - | - |
2020 | Refined Finiteness and Degree Properties in Graphs | Koch, Sebastian | - | - |
2020 | Renamings and a Condition-free Formalization of Kronecker’s Construction | Schwarzweller, Christoph | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8