Fetching the paper…
Reading the bibliography…
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.
The topology of four-dimensional manifolds
M. Freedman · 1982
Earlier work this paper cites.
Konstruktionsmethoden und das kombinatorische Homöomorphieproblem für Triangulierungen kompakter semilinearer Mannigfaltigkeiten
U. Pachner · 1987
Earlier work this paper cites.
4 4 -manifolds and Kirby calculus
R. E. Gompf and A. I. Stipsicz · 1999
Earlier work this paper cites.
Simplicial manifolds, bistellar flips and a 16-vertex triangulation of the Poincaré homology 3-sphere
A. Björner and F. H. Lutz · 2000
Earlier work this paper cites.
A triangulated
M. Casella and W. Kühnel · 2001
Cited alongside, same era.
Simplifying triangulations of
A. Mijatović · 2003
Cited alongside, same era.
simpcomp - a GAP toolbox for simplicial complexes
F. Effenberger and J. Spreer · 2010
Cited alongside, same era.
The Pachner graph and the simplification of 3-sphere triangulations
B. A. Burton · 2011
Cited alongside, same era.
Combinatorial properties of the K3 surface: Simplicial blowups and slicings
J. Spreer and W. Kühnel · 2011
Later among the works it cites.
Computational topology with Regina: Algorithms, heuristics and implementations
B. A. Burton · 2012
Later among the works it cites.
Regina: normal surface and 3-manifold topology software
B. A. Burton, R. Budney, W. Pettersson, et al · 2012
Later among the works it cites.
Random Discrete Morse Theory and a New Library of Triangulations
B. Benedetti and F. H. Lutz · 2013
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…