塞巴斯蒂安·科赫 基本的简单图形。 (英语) 兹比尔1433.68580 福尔马利兹。数学。 27,第3期,237-259(2020年). 摘要:在本文中,图的底层简单图的概念(如[G.李和P.鲁德尼克《替代图结构》,同上13,第2号,235–252(2005)])在Mizar系统中进行了形式化,以及一些方便的变体。图的属性没有修饰符(如中所介绍的[G.李,“加权和标记图”,同上,13,No.2279-293(2005)])也被形式化,以作为未来图枚举的基础。 引用于2文件 MSC公司: 68V20型 数学形式化与定理证明 05C30号 图论中的枚举 05C76号 图形操作(线条图、产品等) 关键词:图形运算;底层简单图 软件:米扎尔 PDF格式BibTeX公司 XML格式引用 \textit{S.Koch},福尔马利兹。数学。27,第3号,237--259(2020;Zbl 1433.68580) 全文: DOI程序 参考文献: [1] 格拉泽戈兹·班塞雷克。树木简介。形式化数学,1(2):421-4271990。 [2] 格热戈兹·班塞雷克(Grzegorz Bancerek)、Czesław Bylinñski、亚当·格拉博夫斯基(Adam Grabowski)、阿图尔·科尔尼·奥维茨(Artur Korni \322;owicz)、罗曼·马图塞夫斯基(Roman Matuszewski),亚当·诺莫维奇(Adam Naumowic。Mizar数学图书馆在Mizar交互式证明开发中的作用。《自动推理杂志》,61(1):9-322018。doi:10.1007/s10817-017-9440-6·Zbl 1433.68530号 [3] Lowell W.Beineke和Robin J.Wilson,编辑。图论选修课。伦敦学术出版社,1978年。为0-12-086250-6·Zbl 0423.00003号 [4] 约翰·阿德里安·邦迪(John Adrian Bondy)和U.S.R.Murty。图论。数学研究生课文,244。施普林格,纽约,2008年。国际标准图书编号978-1-84628-969-9·Zbl 1134.05001号 [5] Adam Grabowski、Artur Korniłowicz和Adam Naumowicz。四十年的米扎尔。《自动推理杂志》,55(3):191-1982015。doi:10.1007/s10817-015-9345-1·Zbl 1336.00111号 [6] Krzysztof Hryniewiecki。图。形式化数学,2(3):365-3701991。 [7] 吉尔伯特·李。加权图和标记图。形式化数学,13(2):279-2932005。 [8] Gilbert Lee和Piotr Rudnicki。可选的图形结构。形式化数学,13(2):235-2522005。 [9] 彼得罗·鲁德尼基和洛娜·斯图尔特。作为简单复数的简单图:图的Mycielskian。形式化数学,20(2):161-1742012。doi:10.2478/v10037-012-0019-8·Zbl 1292.05116号 [10] 东田洋三。简单图形的形式化。形式化数学,5(1):137-1441996。 [11] 克劳斯·瓦格纳。石墨理论B.I-Hochschultaschenbücher;248.参考书目。曼海姆研究所,1970年。国际标准图书编号3-411-00248-4·Zbl 0195.54103号 [12] 罗宾·詹姆斯·威尔逊。图论导论。奥利弗·博伊德,爱丁堡,1972年。ISBN 0-05-002534-1·兹伯利0891.05001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。