图的精细有限性和度性质

IF 1 Q1 MATHEMATICS

Formalized Mathematics Pub Date : 2020-07-01 DOI:10.2478/forma-2020-0013

Sebastian Koch

引用次数: 0

摘要

本文在文献[4]对图的形式化的基础上，对图的有限性进行了细化，并在Mizar系统[3]中对图的最小度和最大度进行了形式化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Refined Finiteness and Degree Properties in Graphs

Summary In this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Formalized Mathematics MATHEMATICS-

自引率

0.00%

发文量

审稿时长

10 weeks

期刊介绍： Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.