6533b85ffe1ef96bd12c13e1
RESEARCH PRODUCT
About Graph Unions and Intersections
Sebastian Kochsubject
Discrete mathematicsgraph theoryApplied Mathematics020207 software engineeringgraph intersection0102 computer and information sciences02 engineering and technology68v20Computer Science::Digital Libraries01 natural sciencesComputational Mathematicsgraph union010201 computation theory & mathematicsComputer Science::Mathematical SoftwareQA1-9390202 electrical engineering electronic engineering information engineering05c76Graph (abstract data type)MathematicsMathematicsofComputing_DISCRETEMATHEMATICSMathematicsdescription
Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2020-07-01 | Formalized Mathematics |