首页> 外文OA文献 >From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation

【2h】

From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation

机译：从四色定理到概括的“四字母定理”：“人类证明”的草图和哲学解释

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Vasil Dinev Penchev;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem [J] . Koji Ohnishi Artificial life and robotics . 2009,第4期

机译：在不使用计算机的情况下获得四色定理的简要证明：用于证明四色定理的定理
2. Generalized Kneser coloring theorems with combinatorial proofs [J] . Günter M. Ziegler Inventiones mathematicae . 2006,第1期

机译：具有组合证明的广义Kneser着色定理
3. Generalized Cowin-Mehrabadi theorems and a direct proof that the number of linear elastic symmetries is eight [J] . Ting TCT. International Journal of Solids and Structures . 2003,第25期

机译：广义Cowin-Mehrabadi定理和线性弹性对称数为8的直接证明
4. Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry [C] . Dominique Michelucci International Workshop on Automated Deduction in Geometry . 2011

机译：有些LEMMAS希望能够找到搜索方法来查找突出几何致理性逻辑的简短和人类可读证明
5. New proofs of (new) Direct Product Theorems. [D] . Jaiswal, Ragesh. 2008

机译：（新）直接乘积定理的新证明。
6. Theorems proofs examples and rules in the practice ofepidemiology [O] . Tyler J. VanderWeele, Elizabeth L. Ogburn -1

机译：定理证明实例和规则的做法流行病学
7. A Simple Proof of the Four-Color Theorem [O] . Alhargan, Fayez A. 2002

机译：四色定理的一个简单证明
8. Some Labeling Theorems for Planar Linear Graphs: A Contribution to the Four-Color Problem [R] . Trent, H. M., Lepson, B., Hauptman, H. A. 1969

机译：平面线性图的一些标注定理：对四色问题的贡献

From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation

著录项

引文网络

相似文献

相关主题

期刊订阅