About graph unions and intersections

DOI10.2478/FORMA-2020-0014MaRDI QIDQ2113833zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 14 March 2022

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-0014

zbMATH Keywords

graph theorygraph uniongraph intersection

Mathematics Subject Classification ID

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

Recommendations

• About graph sums
• Miscellaneous graph preliminaries
• Unification of graphs and relations in Mizar
• About graph complements
• An introduction to fuzzy soft graph

Cites work

• scientific article; zbMATH DE number 1432797 (Why is no real title available?)
• scientific article; zbMATH DE number 3311627 (Why is no real title available?)
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• About graph complements
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• Handbook of discrete and combinatorial mathematics
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(3)

• About graph sums
• Unification of graphs and relations in Mizar
• Introduction to graph enumerations

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: About graph unions and intersections

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