The 5 Colour Theorem in Isabelle/Isar.

Gertrud Bauer Tobias Nipkow

Published in: TPHOLs (2002)

Keyphrases

theorem prover
colour images
colour texture
moving target
von neumann
colour space
data sets
artificial intelligence
search engine
signal processing
digital topology
information retrieval
high resolution images