An algorithm for computing some Heegaard Floer homologies
arXiv:math/0607777
Abstract
In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.
20 pages, 20 figures. The paper used to be known as "A combinatorial description of some Heegaard Floer homologies". Minor changes. This version to appear in Annals of Mathematics