Open AccessAbout Graph Unions and Intersections
Author(s) -
Sebastian Koch
Publication year - 2020
Publication title -
formalized mathematics
Language(s) - English
Resource type - Journals
eISSN - 1898-9934
pISSN - 1426-2630
DOI - 10.2478/forma-2020-0014
Subject(s) - intersection (aeronautics) , mathematics , graph , intersection graph , theoretical computer science , discrete mathematics , algebra over a field , combinatorics , computer science , line graph , pure mathematics , transport engineering , engineering
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].