Verifying the Four Colour Theorem 28 de dec. de 2005

Visto 4654 veces

Verifying the Four Colour Theorem

Georges Gonthier

Materiais