2 papers
math.GT2024
Algorithms in 4-manifold topology
Stefan Bastl, Rhuaidi Burke, Rima Chatterjee +28
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In p…
math.GT2021
Canonical decompositions and algorithmic recognition of spatial graphs
Stefan Friedl, Lars Munser, José Pedro Quintanilha +1
We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs…