pith. sign in

arxiv: 1403.2780 · v1 · pith:R4ABLXH5new · submitted 2014-03-12 · 🧮 math.GT

Computationally proving triangulated 4-manifolds to be diffeomorphic

Benjamin A. Burton , Jonathan Spreer This is my paper
classification 🧮 math.GT
keywords manifoldsprovingtriangulatedalgorithmsarisecomplexitiescomputationalcomputationally
0
0 comments X
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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Small Triangulations of $4$-Manifolds: Introducing the $4$-Manifold Census

    math.GT 2024-12 unverdicted novelty 7.0

    A new framework classifies PL-types for every triangulated 4-manifold with up to six pentachora, succeeding except on the 4-sphere, CP^2 and QS^4(2) where at most four, three and two types appear respectively.