Introduction to graph colorings

DOI10.2478/FORMA-2022-0009MaRDI QIDQ6489405zbMATH OpenFDO

Authors Sebastian Koch

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

graph coloringtotal coloringedge coloring

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Coloring numbers
• Vertex-edge adjacent vertex-distinguishing total colorings of some graphs
• Recent developments in total colouring
• Vertex-, edge-, and total-colorings of Sierpiński-like graphs
• Vertex-distinguishing E-total colorings of the graphs \(mC_3\) and \(mC_4\)

Cites work

• scientific article; zbMATH DE number 1118889 (Why is no real title available?)
• scientific article; zbMATH DE number 1432797 (Why is no real title available?)
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(1)

• Refined finiteness and degree properties in graphs

This page was built for publication: Introduction to graph colorings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489405)