About regular graphs

DOI10.2478/forma-2023-0008OpenAlexW4387330229MaRDI QIDQ6071625

Sebastian Koch

Publication date: 28 November 2023

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

Full work available at URL: https://doi.org/10.2478/forma-2023-0008

zbMATH Keywords

regular graphs

Mathematics Subject Classification ID

Vertex degrees (05C07) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• A graph library for Isabelle
• About graph sums
• Miscellaneous graph preliminaries. I
• Graph Theory
• Alternative Aggregates in Mizar

This page was built for publication: About regular graphs