Topology Software

• Geomview  - Shows a pre-release testing package, reports, and contact information. With a mailing list, downloads, and documentations.
• The Kenzo Program  - Provides an overview, documentation, and a list of math topics for a discussion. Includes demonstrations.
• Liverpool University Knot Theory Group Programs and Procedures  - Contains descriptions and instructions, and contact information. With the programs and procedures.
• MING  - Shows research interests in geometric topology and low-dimensional manifolds. Includes teachings and services.
• OPTi  - Provides definition, documentations, downloads, and bug reports. With contact information.
• Simplicial Homology  - Contains information about the functionalities, manuals, and downloads. Includes requirements and contact details.
• SNAP  - Studies arithmetic invariants of hyperbolic 3-manifolds. Also provides a source and binary distributions.
• SnapPea  - Presents a software that creates hyperbolic three-manifolds. Also presents downloads, exact arithmetic, and contact details.
• Topology and Geometry Software  - Contains fun and games, classroom materials, curved spaces, and research software. With contact information.