Eksperimen formalisasi dalam sistem HOL dengan studi kasus teori graph

Pelabelan jumlah eksklusif pada graf tangga, gabungan graf tangga, dan graf kaki seribu = Exclusive sum labeling of ladder graph, union of ladder graph, and centipede graph

Pelabelan harmonis ganjil pada graf gear dengan pendant teratur, graf shuriken, dan graf jaring = Odd harmonious labeling on gear with regular pendant graph, shuriken graph, and net graph

Implementasi algoritma modifikasi maximum standard deviation reduction pada pengklasteran graf dengan input matriks komplemen = Implemetation algorithm modification maximum standard deviation reduction in graph clustering with input matrix complement

Graph theory