Introduction to graph colorings

DOI10.2478/FORMA-2022-0009MaRDI QIDQ6489405FDOQ6489405

Authors: Sebastian Koch 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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\)

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)

Cites Work

• Graph theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Four decades of \textsc{Mizar}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar

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)