Kochen-Specker sets in four-dimensional spaces

For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in $\R^4$. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.