Description
Study polyhedra, polytopes, tropical geometry, and related mathematical structures with a research-oriented computational system. It is useful for mathematicians, students, and researchers who need exact tools for polyhedral geometry.
The software is technical and expects mathematical background. Results should be interpreted with the assumptions, packages, and algorithms used in the computation.