×

zbMATH — the first resource for mathematics

An algorithm for acylindrical surfaces in 3-manifolds. (English) Zbl 1009.57026
The author presents an algorithm to decide if an orientable atoroidal 3-manifold contains closed incompressible acylindrical surfaces and to construct them if they exist. The algorithm uses normal surface theory. To prove that the algorithm stops after a finite number of steps, the author shows that each acylindrical surface is isotopic to an edge surface.

MSC:
57N10 Topology of general \(3\)-manifolds (MSC2010)
57M99 General low-dimensional topology
PDF BibTeX XML Cite
Full Text: DOI