Computationally proving triangulated 4-manifolds to be diffeomorphic

Abstract

We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be used for large scale experiments.

4 pages, presented at the Young Researchers Forum at SCG 2013