Unification of graphs and relations in Mizar

DOI10.2478/FORMA-2020-0015OpenAlexW3140710164MaRDI QIDQ2113834FDOQ2113834

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

Recommendations

• Miscellaneous graph preliminaries
• About graph unions and intersections
• About supergraphs. I
• Underlying simple graphs
• About graph sums

zbMATH Keywords

graph theorybinary relation

Mathematics Subject Classification ID

Graph representations (geometric and intersection representations, etc.) (05C62) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic graph theory. Morphisms, monoids and matrices
• Four decades of \textsc{Mizar}. Foreword
• Title not available (Why is that?)
• The friendship theorem
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Underlying simple graphs

Uses Software

• Mizar

This page was built for publication: Unification of graphs and relations in Mizar

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