An algorithm for recognizing \(S^ 3\) in 3-manifolds with Heegaard splittings of genus two

From MaRDI portal
Publication:1149670