Toward a language theoretic proof of the four color theorem
type: Item
instance of: scholarly article
title: Toward a language theoretic proof of the four color theorem
zbMATH Open document ID: 1237.05005
author: Doron Zeilberger
author: Bobbe Cooper
author: Eric Rowland
published in: Advances in Applied Mathematics
publication date: 2012-03-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/1006.1324
Mathematics Subject Classification ID: 05A05
Mathematics Subject Classification ID: 05C15
Mathematics Subject Classification ID: 68R15
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 05C05
zbMATH DE Number: 6019335
zbMATH Keywords: four color theorem
zbMATH Keywords: parse words
describes a project that uses: BinaryTrees
MaRDI profile type: Publication
OpenAlex ID: W3123297068
arXiv ID: 1006.1324
cites work: Every planar map is four colorable. I: Discharging
cites work: Every planar map is four colorable. II: Reducibility
cites work: On a subposet of the Tamari lattice
cites work: Map coloring and the vector cross product
DOI: 10.1016/J.AAM.2011.11.002
description: scientific article; zbMATH DE number 6019335