Benjamin Burton
We will take a guided tour through ongoing work in tabulating all ~14 billion distinct virtual knots up to 9 classical crossings. We will discuss challenges that make this more difficult than classical knot tabulation, and explore the interplay between theory, implementation, algorithms and hardware.