Introduction to Graph Colorings

被引：1

作者：

Koch, Sebastian

机构：

来源：

FORMALIZED MATHEMATICS | 2022年 / 30卷 / 02期

关键词：

graph coloring; edge coloring; total coloring;

D O I：

10.2478/forma-2022-0009

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this article vertex, edge and total colorings of graphs are formalized in the Mizar system [4] and [1], based on the formalization of graphs in [5].

引用

页码：99 / 124

页数：26

共 6 条

[1] The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar [J].

Bancerek, Grzegorz ;

Bylinski, Czeslaw ;

Grabowski, Adam ;

Kornilowicz, Artur ;

Matuszewski, Roman ;

Naumowicz, Adam ;

Pak, Karol .

JOURNAL OF AUTOMATED REASONING, 2018, 61 (1-4) :9-32

[2]

Bondy JA., 2008, Graph Theory, Graduate Texts in Mathematics Series, DOI DOI 10.1007/978-1-84628-970-5

[3]

Diestel R., 2017, Graph Theory, V5th

[4] Four Decades of Mizar [J].

Grabowski, Adam ;

Kornilowicz, Artur ;

Naumowicz, Adam .

JOURNAL OF AUTOMATED REASONING, 2015, 55 (03) :191-198

[5]

Lee G, 2005, FORMALIZ MATH, V13, P235

[6]

Wilson Robin J., 2010, Introduction to Graph Theory

← 1 →