- Peek
- Program for N-dimensional polytope visualization by cross-section and projection.
- Poly
- Shareware program for exploring and constructing polyhedra. Fully-functional evaluation version available for download.
- PPL: The Parma Polyhedra Library
- C library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
|