About regular graphs

DOI10.2478/FORMA-2023-0008MaRDI QIDQ6071625zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 28 November 2023

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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)

Recommendations

• scientific article; zbMATH DE number 3966102
• Regular graphs with regular neighborhoods
• scientific article; zbMATH DE number 568781
• Regular number of a graph
• REGULAR EXTENSION OF GRAPHS
• scientific article; zbMATH DE number 94782
• A characterization of a class of regular graphs
• On regular-stable graphs

Cites work

• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• A graph library for Isabelle
• About graph sums
• Alternative Aggregates in Mizar
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• Graph theory
• Miscellaneous graph preliminaries. I
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(9)

• Regular graph designs
• Intriguing sets of vertices of regular graphs
• About path and cycle graphs
• Refined finiteness and degree properties in graphs
• ``Réseaux réguliers or regular graphs
• scientific article; zbMATH DE number 94782 (Why is no real title available?)
• Regular number of a graph
• The regular number of a graph
• scientific article; zbMATH DE number 1329516 (Why is no real title available?)

This page was built for publication: About regular graphs

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