フレアーホモロジー
フレアーホモロジーは、明確な計算をすることが一般には困難で、例えば、全つの曲面のシンプレクティック写像のシンプレクティックフレアーホモロジーが完成したのは、2007年であった。ヒーガードフレアーホモロジーには、この考え方から大きな成功への道がある；研究者たちは様々たクラスの3次元多様体のホモロジーを計算するために、代数的な構造を開拓しているし、実際に理論の多くの計算の組み合わせ的なアルゴリズムを見つけた。このことは既存の不変量や構造へ結び付けると同時に、3次元多様体のトポロジーへの多くの見方を生みだしてきた。