Wednesday 12 August 2015 from 11:00–12:00 in Carslaw 535A
Please join us for lunch after the talk!
Abstract: I will discuss work from last October implementing a reasonably fast algorithm for determining whether or not an orientable 3-manifold with nonempty boundary is hyperbolic. This algorithm uses a test for whether or not a 3-manifold is homeomorphic to \(T^2\times I\), which test I've also implemented. The proof of correctness for the latter algorithm depends upon the elementary theory of Seifert-fibered 3-manifolds and some technicalities in the theory of normal surfaces.