About graph complements

DOI10.2478/FORMA-2020-0004MaRDI QIDQ2658809zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 24 March 2021

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/forma-2020-0004

zbMATH Keywords

graph complementloop

Mathematics Subject Classification ID

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

Recommendations

• On the complements of graphs
• About graph sums
• Generalized complementation
• scientific article; zbMATH DE number 1539538
• Miscellaneous graph preliminaries

Cites work

• About supergraphs. I
• About supergraphs. III
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• scientific article; zbMATH DE number 3311627 (Why is no real title available?)

Cited in

(10)

• Complement of a graph: a generalization
• About graph unions and intersections
• Miscellaneous graph preliminaries
• Miscellaneous graph preliminaries. I
• On The Complement Of An Ambisidigraph
• scientific article; zbMATH DE number 5316648 (Why is no real title available?)
• scientific article; zbMATH DE number 5532174 (Why is no real title available?)
• scientific article; zbMATH DE number 1539538 (Why is no real title available?)
• On the complements of graphs
• The partial complement of graphs

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: About graph complements

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