tplib

TPLib: Tropical Polyhedra Library
Description

TPLib implements several algorithms to manipulate tropical polyhedra. Among others, it allows to compute:

  • the extreme points and rays of tropical polyhedra,
  • tropical polar cones,
  • the minimal representations by means of half-spaces,
  • the tropical complex associated with a tropical polytope.

TPLib also provides abstract operations over tropical polyhedra (intersections, convex hull of unions, etc), which are typically useful in applications to formal verification.

Install
Published
21 Nov 2013
Sources
tplib-1.3.tar.gz
md5=861bde89a6790b78474c5578f821aea4
Dependencies
Reverse Dependencies