Temat: computer–assisted proof

Skocz do pozycji: 1.

Tytuł:: Komputerowo wspierane dowody istnienia choreografii w problemie N-ciał
Computer assisted proofs of the existence of choreographies in the N-body problem
Autorzy:: Świder, Małgorzata
Słowa kluczowe:: problem N ciał, choreografia, komputerowo wspierany dowód
N body problem, choreography, computer assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Hipoteza Wegnera - kolorowanie kwadratu grafu planarnego.
Wegners conjecture - coloring the square of a planar graph
Autorzy:: Byczek, Rafał
Słowa kluczowe:: hipoteza Wegnera, teoria grafów, grafy planarne, grafy zewnętrznie planarne, kwadrat grafu, maksymalny stopień wierzchołka, talia grafu, kolorowanie grafu, liczba chromatyczna, kolorowanie z list, iniektywne kolorowanie, L(p,q)-etykietowanie, metoda rozładowania, metoda dekompozycji, meotda najmniejszego kontrprzykładu, dowody wspierane komputerowo
Wegner's conjecture, graph theory, planar graphs, outerplanar graphs, the square of a graph, maximum vertex degree, girth of a graph, graph coloring, chromatic number, list coloring, injective coloring, L(p,q)-labeling, discharging method, decomposition method, minimal counterexample method, computer-assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Informacja