A program to compute the minus knot Floer homology of torus knots:Â Torus.c
A program to simplify cubic radicals: Cubic.c
Example of computations in link Floer homology
A survey on elementary group theory