Unification of graphs and relations in Mizar

DOI10.2478/FORMA-2020-0015OpenAlexW3140710164MaRDI QIDQ2113834

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

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)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Underlying simple graphs
• The Friendship Theorem
• Algebraic graph theory. Morphisms, monoids and matrices

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