Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

DOI10.2478/v10037-012-0019-8zbMath1292.05116OpenAlexW2021186992MaRDI QIDQ2852152

Piotr Rudnicki, Lorna K. Stewart

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0019-8

zbMATH Keywords

chromatic numberclique numberMycielskian

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Combinatorial aspects of simplicial complexes (05E45)

Related Items (2)

ATP and presentation service for Mizar formalizations ⋮ Underlying simple graphs

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering
• The Mycielskian of a Graph
• Sur le coloriage des graphs

This page was built for publication: Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph