TY  - RPRT
TI  - Computationally proving triangulated 4-manifolds to be diffeomorphic
AU  - Benjamin A. Burton
AU  - Jonathan Spreer
PY  - 2014
UR  - https://arxiv.org/abs/1403.2780
ID  - 1403.2780
ER  -