An algorithm to decide if a 3-manifold is a Haken manifold

DOI10.1016/0040-9383(84)90039-9zbMath0545.57003WikidataQ56172022 ScholiaQ56172022MaRDI QIDQ797188

Ulrich Oertel, William Jaco

Publication date: 1984

Published in: Topology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0040-9383(84)90039-9

zbMATH Keywords

algorithm; normal surfaces; incompressible surface; irreducible 3-manifold; handle-decomposition; injective surfaces

Mathematics Subject Classification ID

57M05: Fundamental group, presentations, free differential calculus

Related Items

Incompressible surfaces and Dehn surgery on 1-bridge knots in handlebodies, Algorithmic recognition of 3-manifolds, NORMAL SURFACES IN THE FIGURE-8 KNOT COMPLEMENT, PERSISTENT LAMINATIONS FROM SEIFERT SURFACES, Almost normal surfaces in 3-manifolds, The computational complexity of knot genus and spanning area, Introducing Regina, The 3-Manifold Topology Software, Normal surfaces in non-compact 3-manifolds, Incompressible branched surfaces, Algorithms for finding proper essential surfaces in 3-manifolds, Euler characteristic and quadrilaterals of normal surfaces, Non-orientable fundamental surfaces in Lens spaces, Converting between quadrilateral and standard solution sets in normal surface theory, Virtual fibers in hyperbolic 3-manifolds, An algorithm to detect laminar 3-manifolds, The virtual Haken conjecture: Experiments and examples, Minimally knotted spatial graphs are totally knotted, Algorithms for recognizing knots and 3-manifolds, The disjoint curve property, Innermost disk pairs in least weight normal surfaces, Least weight injective surfaces are fundamental, The computational complexity of basic decision problems in 3-dimensional topology, Unrecognizability of manifolds, The Regular Projective Solution Space of the Figure-Eight Knot Complement, SEIFERT SURFACES IN KNOT COMPLEMENTS, KNOTS WITH INFINITELY MANY INCOMPRESSIBLE SEIFERT SURFACES, FINDING PLANAR SURFACES IN KNOT- AND LINK-MANIFOLDS, Sums of Incompressible Surfaces, Computing Immersed Normal Surfaces in the Figure-Eight Knot Complement