[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Gonthier08

  1. Georges Gonthier
  2. Formal Proof -- The Four-color Theorem
  3. Notices of the American Mathematical Society V55n11 (Dec 2008) [ tx081101382p.pdf ]
  4. =EXAMPLE Coq 4COLOR FORMAL PROOFS MATHEMATICS TYPES
  5. This formal proof of the famous four-color theorem uses Combinatorial Hypermaps not Graphs!
  6. Coq and the calculus of Inductive Constructions (CiC).
  7. Inference subsumed into type inference?

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]