Descrição
Estude poliedros, politopos, geometria tropical e estruturas matemáticas relacionadas com um sistema computacional voltado à pesquisa. É útil para matemáticos, estudantes e pesquisadores que precisam de ferramentas exatas para geometria poliédrica.
O software é técnico e pressupõe conhecimento matemático. Os resultados devem ser interpretados considerando as suposições, pacotes e algoritmos usados no cálculo.