Recognition: unknown
Computationally proving triangulated 4-manifolds to be diffeomorphic
classification
🧮 math.GT
keywords
manifoldsprovingtriangulatedalgorithmsarisecomplexitiescomputationalcomputationally
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.