Speaker: Malcolm Gabbard (KSU)

Title: An Introduction to Computational Tools in Low-Dimensional Topology

Abstract: In recent years there has been a large increase in the number of useful computational tools across all fields of mathematics, including low-dimensional topology. In this talk we will briefly cover the basics of installing and using Sage and SnapPy on a fresh (windows) computer. From there, we will highlight a variety of specific tools which are useful for computing knot invariants, 3-manifold invariants, and more. As an example, we will highlight verified computational tools in SnapPy, one of which is capable of rigorously determining whether a given knot is hyperbolic.