An algorithm to detect laminar 3-manifolds
arXiv:math/0201310 · doi:10.2140/gt.2003.7.287
Abstract
We show that there are algorithms to determine if a 3-manifold contains an essential lamination or a Reebless foliation.
Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper8.abs.html