The Mystery of Knots: Computer Programming for Knot Tabulation (Series on Knots and Everything, Volume 20)