Abstract:
Classical Pitowsky correlation polytopes are reviewed with particular emphasis
on the Minkowski-Weyl representation theorem. The inequalities representing the
faces of polytopes are Boole's conditions of possible experience. Many of these
inequalities have been discussed in the context of Bell's inequalities. We introduce
CddIF, a Mathematica package created as an interface between Mathematica and
the cdd program by Komei Fukuda, which represents a highly efficient method to
solve the hull problem for general classical correlation polytopes
