Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Boole-Bell-type inequalities in Mathematica   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.

29
The categories of this paper are: funct-an
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol