KnotTwister, this program finds representations of fundamental groups and computes
twisted Alexander polynomials. These are used to give lower bounds on the knot genus resp. the Thurston norm,
and they are used to give fibration obstructions. Furthermore it now computes twisted Alexander polynomials
of knots which are isotopy invariants. Some help can be found in the
documentation (this version is from 5/11/06).
Knotorious, this program computes various lower and upper bounds on the algebraic unknotting number.
The mathematics behind the paper can be found in
Borodzik, Friedl: The unknotting number and classical invariants I
Further details can also be found at
the knotorious webpage
maintained by Maciej Borodzik.