We consider the problem of listing faces of the Minkowski sum of several V-polytopes in R^ d.
An algorithm for listing all faces of dimension up to j is presented, for any given 0<= j<= d-1…

This section is dedicated to tools (all coming from academia) for the formal verification of
hybrid systems. Formal verification is very appealing as a concept since it avoids the pitfalls of …

A convex polyhedron P is equiprojective if, for some k, the orthogonal projection (or “shadow”)
of P in every direction, except those directions parallel to faces of P, is a k-gon. We …

This paper proposes a dominance approach to study well-being inequality across countries
at the world level. We consider a class of wellbeing indices based on the three attributes …

Let $ G $ be a directed graph, and let $\Delta^{ACY} _G $ be the simplicial complex whose
simplices are the edge sets of acyclic subgraphs of $ G $. Similarly, we define $\Delta^{NSC} …

We encode the binomials belonging to the toric ideal $ I_A $ associated with an integral $ d\times
n $ matrix $ A $ using a short sum of rational functions as introduced by Barvinok\cite {…

… A scatter matrix estimate based on the zonotope …

This paper deals with the analysis of the relation between aggregate demand for a consumption
good and the distribution of income across consumers. We obtain sufficient conditions …

Intuitive geometric interpretation for Support Vector Machines (SVM) provides an alternative
way to implement SVM. Although Bennet’s nearest point algorithm (NPA) can deal with …

We apply tropical geometry to study the image of a map defined by Laurent polynomials with
generic coefficients. If this image is a hypersurface then our approach gives a construction …