About graph sums

DOI10.2478/forma-2021-0023zbMath1494.68300OpenAlexW4285325570MaRDI QIDQ2171528

Sebastian Koch

Publication date: 9 September 2022

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

Full work available at URL: https://doi.org/10.2478/forma-2021-0023

zbMATH Keywords

graph sumgraph union

Mathematics Subject Classification ID

Graph operations (line graphs, products, etc.) (05C76) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Introduction to graph enumerations ⋮ About regular graphs

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• About graph unions and intersections
• Miscellaneous graph preliminaries
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About graph sums