Refined finiteness and degree properties in graphs

DOI10.2478/FORMA-2020-0013MaRDI QIDQ2113832zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 14 March 2022

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/forma-2020-0013

zbMATH Keywords

graph theoryminimum degreemaximum degreevertex degree

Mathematics Subject Classification ID

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

Recommendations

• About supergraphs. III
• A sharp refinement of a result of Zverovich-Zverovich
• About regular graphs
• Miscellaneous graph preliminaries
• Introduction to graph colorings

Cites work

• scientific article; zbMATH DE number 1432797 (Why is no real title available?)
• scientific article; zbMATH DE number 3311627 (Why is no real title available?)
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• Infinite graphs—A survey

Cited in

(2)

• Strict refinement for graphs and digraphs
• scientific article; zbMATH DE number 6256303 (Why is no real title available?)

This page was built for publication: Refined finiteness and degree properties in graphs

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