6533b82afe1ef96bd128c43e
RESEARCH PRODUCT
Miscellaneous Graph Preliminaries
Sebastian Kochsubject
05c07Discrete mathematicsComputational Mathematicsvertex degreesgraph theoryApplied MathematicsQA1-939Graph (abstract data type)Graph theory68v20MathematicsMathematicsdescription
Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library [2] to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series (cf. [8]) and most of them are preliminaries needed in [7] or other forthcoming articles.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2020-04-01 | Formalized Mathematics |