Computationally proving triangulated 4-manifolds to be diffeomorphic
Geometric Topology
2018-10-24 v1
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.
Keywords
Cite
@article{arxiv.1403.2780,
title = {Computationally proving triangulated 4-manifolds to be diffeomorphic},
author = {Benjamin A. Burton and Jonathan Spreer},
journal= {arXiv preprint arXiv:1403.2780},
year = {2018}
}
Comments
4 pages, presented at the Young Researchers Forum at SCG 2013