Geometry Polytopes Software

• 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.