54 citations · 312 across the 36 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 11 cited
A zonotopic framework for functional abstractions
Eric Goubault, Sylvie Putot
This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove…
math.CO2009★ 54 cited
Computing the vertices of tropical polyhedra using directed hypergraphs
Xavier Allamigeon, Stephane Gaubert, Eric Goubault
We establish a characterization of the vertices of a tropical polyhedron defined as the intersection of finitely many half-spaces. We show that a point is a vertex if, and only if,…