Author:
Caporossi Gilles,Hansen Pierre
Subject
Discrete Mathematics and Combinatorics,Theoretical Computer Science
Reference39 articles.
1. F. Allaire, Another proof of the four-color theorem, in: Proceedings of the Seventh Manitoba Conference on Numerical Mathematics and Computing, 1977, Congressus Numerantium XX, Utilitas Math., Winnipeg, 1978, pp. 3–72.
2. Every planar map is four colorable. Part i. Discharging;Appel;Illinois J. Math.,1977
3. Every planar map is four colorable. Part ii. Reducibility;Appel;Illinois J. Math.,1977
4. Every planar map is four colorable;Appel;A.M.S. Contemp. Math.,1989
5. Archimedes, The method of mechanical theorem proving, cited by J. Gray in “Sale of the Century?”, Math. Intell. 21 (1999) 12–15.
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献