dorsal/arxiv
View SchemaBoole-Bell-type inequalities in Mathematica
| Authors | Stefan Filipp, Karl Svozil |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0105083 |
| URL | https://arxiv.org/abs/quant-ph/0105083 |
| Journal | Challenging the Boundaries of Symbolic Computation, ed. by Peter Mitic, Philip Ramsden and Janet Carne (Imperial College Press, London 2003), pp. 215-222 |
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.
{
"annotation_id": "477ac50e-efc3-43bc-9157-9ab4ec2327dc",
"date_created": "2026-03-02T18:01:44.800000Z",
"date_modified": "2026-03-02T18:01:44.800000Z",
"file_hash": "7dd72f5f64445eab5080e9392ad908f209586e73eef4c5ea408d6eb5a4d8d99a",
"private": false,
"record": {
"abstract": "Classical Pitowsky correlation polytopes are reviewed with particular\nemphasis on the Minkowski-Weyl representation theorem. The inequalities\nrepresenting the faces of polytopes are Boole\u0027s ``conditions of possible\nexperience.\u0027\u0027 Many of these inequalities have been discussed in the context of\nBell\u0027s inequalities. We introduce CddIF, a Mathematica package created as an\ninterface between Mathematica and the cdd program by Komei Fukuda, which\nrepresents a highly efficient method to solve the hull problem for general\nclassical correlation polytopes.",
"arxiv_id": "quant-ph/0105083",
"authors": [
"Stefan Filipp",
"Karl Svozil"
],
"categories": [
"quant-ph"
],
"journal_ref": "Challenging the Boundaries of Symbolic Computation, ed. by Peter\n Mitic, Philip Ramsden and Janet Carne (Imperial College Press, London 2003),\n pp. 215-222",
"title": "Boole-Bell-type inequalities in Mathematica",
"url": "https://arxiv.org/abs/quant-ph/0105083"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "9271ba83-3d36-46e0-89e7-fd700980bd9a",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}