An algorithm to find vertical tori in small Seifert fiber spaces
arXiv:math/0209107
Abstract
We give an algorithm to find vertical essential tori in small Seifert fiber spaces with infinite fundamental groups. This implies that there are algorithms to decide whether a 3-manifold is a Seifert fiber space.