Back to Results
First PageMeta Content
Four color theorem / Kempe chain / Planar graph / Jordan curve theorem / Mathematical proof / Theorem / Combinatorial proof / Mathematics / Graph theory / Graph coloring


Document Date: 2009-07-21 18:43:48

Open Document

File Size: 593,26 KB

Share Result on Facebook

Company

IBM / Microsoft / /

Country

Jordan / /

Facility

C-Corn library / /

IndustryTerm

software engineering / software components / computer hardware / /

Organization

pentagon / /

Person

Francis Guthrie / /

Position

Coq assistant / individual mathematician / proof assistant / Coq proof assistant / /

ProgrammingLanguage

R / C / /

Technology

operating system / /

SocialTag