Computationally proving triangulated 4-manifolds to be diffeomorphic

arXiv1403.2780MaRDI QIDQ6249727FDOQ6249727

Publication date: 11 March 2014

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.

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) (K3) surfaces and Enriques surfaces (14J28) Triangulating manifolds (57Q15) Comparison of PL-structures: classification, Hauptvermutung (57Q25)

This page was built for publication: Computationally proving triangulated 4-manifolds to be diffeomorphic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6249727)