The 5 Colour Theorem in Isabelle/Isar
- 25 July 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Isabelle/HOLPublished by Springer Nature ,2002
- Formalization of graph search algorithms and its applicationsPublished by Springer Nature ,1998
- The Four-Colour TheoremJournal of Combinatorial Theory, Series B, 1997
- Formalization of planar graphsPublished by Springer Nature ,1995
- Mechanical verification of distributed algorithms in higher-order logicPublished by Springer Nature ,1994
- Every Planar Map is Four ColorableContemporary Mathematics, 1989
- Every planar map is four colorable. Part I: DischargingIllinois Journal of Mathematics, 1977
- Every planar map is four colorable. Part II: ReducibilityIllinois Journal of Mathematics, 1977
- Every planar map is four colorableBulletin of the American Mathematical Society, 1976
- The Reducibility of MapsAmerican Journal of Mathematics, 1913