A short proof of non-GF(5)-representability of matroids.

James F. Geelen James G. Oxley Dirk Vertigan Geoff Whittle

Published in: J. Comb. Theory, Ser. B (2004)

Keyphrases

boolean functions
theorem proving
computer vision
expert systems
theorem prover
neural network
data mining
case study
data structure
relational databases
greedy algorithm
submodular functions
proof theory