\contentsline {section}{\numberline {1}Boole-Bell Type Inequalities}{3}
\contentsline {subsection}{\numberline {1.1}Simple urn model}{3}
\contentsline {subsection}{\numberline {1.2}Geometrical interpretation}{3}
\contentsline {subsection}{\numberline {1.3}Minkowski-Weyl representation theorem}{4}
\contentsline {subsection}{\numberline {1.4}From vertices to inequalities}{4}
\contentsline {subsection}{\numberline {1.5}From inequalities to vertices}{5}
\contentsline {subsection}{\numberline {1.6}Quantum mechanical context}{5}
\contentsline {section}{\numberline {2}Installation}{7}
\contentsline {subsection}{\numberline {2.1}\textit {Mathematica}}{7}
\contentsline {subsection}{\numberline {2.2}cdd}{7}
\contentsline {subsection}{\numberline {2.3}Installation on windows-platforms}{8}
\contentsline {section}{\numberline {3}Description Of Functions}{8}
\contentsline {subsection}{\numberline {3.1}CddFormat}{8}
\contentsline {paragraph}{Description:}{9}
\contentsline {paragraph}{Example:}{9}
\contentsline {subsection}{\numberline {3.2}ToCddExtFile}{9}
\contentsline {paragraph}{Description:}{9}
\contentsline {paragraph}{Example:}{9}
\contentsline {subsection}{\numberline {3.3}TruthTable}{10}
\contentsline {paragraph}{Description:}{10}
\contentsline {paragraph}{Example:}{10}
\contentsline {subsection}{\numberline {3.4}RunCdd}{10}
\contentsline {paragraph}{Description:}{11}
\contentsline {paragraph}{Example:}{11}
\contentsline {subsection}{\numberline {3.5}ShowVRep}{11}
\contentsline {paragraph}{Description:}{11}
\contentsline {paragraph}{Example:}{11}
\contentsline {subsection}{\numberline {3.6}ConvToHRep}{12}
\contentsline {paragraph}{Description:}{12}
\contentsline {paragraph}{Example:}{12}
\contentsline {subsection}{\numberline {3.7}ReadInHRep}{12}
\contentsline {paragraph}{Description:}{13}
\contentsline {paragraph}{Example:}{13}
\contentsline {subsection}{\numberline {3.8}GetInequFromHRep}{13}
\contentsline {paragraph}{Description:}{13}
\contentsline {paragraph}{Example:}{13}
\contentsline {subsection}{\numberline {3.9}InequToRead}{13}
\contentsline {paragraph}{Description:}{13}
\contentsline {paragraph}{Example:}{13}
\contentsline {subsection}{\numberline {3.10}GetViolInequalities}{14}
\contentsline {paragraph}{Description:}{14}
\contentsline {paragraph}{Example:}{14}
\contentsline {subsection}{\numberline {3.11}PlotInequalities}{15}
\contentsline {paragraph}{Description:}{15}
\contentsline {paragraph}{Example:}{16}
\contentsline {subsection}{\numberline {3.12}ContPlotInequalities}{16}
\contentsline {paragraph}{Description:}{17}
\contentsline {paragraph}{Example:}{18}
\contentsline {subsection}{\numberline {3.13}Cdd}{18}
\contentsline {paragraph}{Description:}{18}
\contentsline {paragraph}{Example:}{18}
\contentsline {section}{\numberline {4}Examples}{19}
\contentsline {subsection}{\numberline {4.1}Three particles and two measurement directions}{19}
\contentsline {subsection}{\numberline {4.2}Violations of inequalities}{19}
\contentsline {subsection}{\numberline {4.3}Graphical representation}{20}
\contentsline {subsection}{\numberline {4.4}Two particles and three measurement directions}{21}
\contentsline {subsection}{\numberline {4.5}Violations of inequalities}{22}
\contentsline {subsection}{\numberline {4.6}Graphical representation}{24}