• Elliptic Curve Calculator 5.05
• Knot Theory version 3.6
• KnotSolver
• Snap Pea