#Khovanov Homology

Khovanov Homology is a powerful knot invariant, capable (among other things) of detecting the unknot. For an excellent overview, see this paper by Dror Bar-Natan (with lots of pretty pictures!)

This program will be based on the tangle framework developed by Bar-Natan, and using the algorithms from Fast Khovanov Homology Computations (also by Bar-Natan).

The first version of the program will focus on creating the necessary data structures and computing the Jones polynomial, which is the Euler characteristic for Khovanov homology. Once this is done, the full homology will be implemented.