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


Document Date: 2005-04-19 11:59:25

Open Document

File Size: 593,26 KB

Share Result on Facebook

Company

IBM / Microsoft / /

Country

Jordan / /

Facility

C-Corn library / /

IndustryTerm

software engineering / v6-v7 systems / software components / computing / possible solution / computer hardware / lemma search command / /

Organization

pentagon / /

Person

Benjamin Werner / Francis Guthrie / /

Position

individual mathematician / proof assistant / assistant / Proof General / Coq assistant / Coq proof assistant / /

Product

Walkupe / /

ProgrammingLanguage

R / C / ML / /

Technology

4 Prover technology / operating system / /

SocialTag