 |
|
|
|
|
 |
|
|
Boole-Bell-type inequalities in Mathematica
|
|
|
|
|
|
| Organization: | Atominstitut der Österreichischen Universitäten |
| Organization: | Institut für Theoretische Physik |
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://www.arxiv.org/abs/quant-ph/0105083
|
|
For the newest resources, visit Wolfram Repositories and Archives »
