登录
注册
重置密码
发布和分发
发布解决方案
分销解决方案
学科
建筑与设计
艺术类
商业与经济
化学
古典和古代近东研究
计算机科学
文化研究
工程
一般利益
地球科学
历史
工业化学
犹太研究
法学
图书情报学
生命科学
语言学和符号学
文学研究
材料科学
数学
医学
音乐
药店
哲学
物理
社会科学
体育和娱乐
神学与宗教
出版物
期刊销售
书
诉讼
出版商
博客
联系人
搜索
欧元
美元
英镑
英语
英语
德国
波兰语
埃斯帕尼奥
法国
意大利
购物车
主页
期刊销售
形式化数学
第29卷(2021):第1期(2021年4月)
开放式访问
杂项图表准备。
第一部分
塞巴斯蒂安·科赫
塞巴斯蒂安·科赫
|
2021年8月26日
形式化数学
第29卷(2021):第1期(2021年4月)
关于本文
上一篇文章
下一篇文章
摘要
工具书类
作者
本期文章
预览
PDF格式
引用
分享
在线发布
:
2021年8月26日
页面范围:
21-38岁
认可的
:
2021年3月30日
内政部:
https://doi.org/10.2478/forma-2021-0003
关键词
图表
©2021 Sebastian Koch,由Sciendo出版
本作品根据Creative Commons Attribution-ShareAlike 4.0 International License获得许可。
据作者所知,本文包含了Mizar数学库中缺少的许多辅助定理。
他们中的大多数人认为图论在GLIB系列中是形式化的,并且在接下来的文章中是需要的。