Math Decades-Old Computer Science Conjecture Solved in Two Pages Texts Linear Algebra by Jim Hefferon Tiling Tilings Encyclopedia