The list-chromatic index of

We prove that the list-chromatic index and paintability index of K 6 is 5. That indeed χ ℓ ′ ( K 6 ) = 5 was a still open special case of the List Coloring Conjecture. Our proof demonstrates how colorability problems can numerically be approached by the use of computer algebra systems and the Combinatorial Nullstellensatz.