Affiliation:
1. Johannes Gutenberg University Mainz , Germany
Abstract
Summary
This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
Subject
Applied Mathematics,Computational Mathematics
Reference9 articles.
1. [1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.
2. [2] John Adrian Bondy and U. S. R. Murty. Graph Theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008. ISBN 978-1-84628-969-9.
3. [3] Pavol Hell and Jaroslav Nesetril. Graphs and homomorphisms. Oxford Lecture Series in Mathematics and Its Applications; 28. Oxford University Press, Oxford, 2004. ISBN 0-19-852817-5.
4. [4] Ulrich Knauer. Algebraic graph theory: morphisms, monoids and matrices, volume 41 of De Gruyter Studies in Mathematics. Walter de Gruyter, 2011.
5. [5] Sebastian Koch. Miscellaneous graph preliminaries. Formalized Mathematics, 28(1):23–39, 2020. doi:10.2478/forma-2020-0003.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. About Regular Graphs;Formalized Mathematics;2023-09-01
2. Introduction to Graph Enumerations;Formalized Mathematics;2023-09-01
3. About Graph Sums;Formalized Mathematics;2021-12-01