About graph unions and intersections

DOI10.2478/FORMA-2020-0014OpenAlexW3142905759MaRDI QIDQ2113833FDOQ2113833

Authors: Sebastian Koch 

Publication date: 14 March 2022

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

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

Recommendations

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

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)

Cites Work

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

Cited In (2)

• Introduction to graph enumerations
• About graph sums

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)