\relax 
\citation{pitowsky}
\citation{Pit-91}
\citation{Boole-62}
\citation{cdd-pck}
\citation{Boole}
\citation{Boole-62}
\citation{Hailperin}
\citation{pitowsky}
\citation{Pit-94}
\citation{cl-horne}
\citation{chsh}
\citation{clauser}
\citation{pitowsky-89a}
\citation{pitowsky}
\citation{Pit-91}
\citation{Pit-94}
\citation{pitowsky}
\citation{pitowsky-89a}
\citation{pitowsky}
\citation{Pit-91}
\citation{Pit-94}
\citation{ziegler}
\@writefile{toc}{\contentsline {section}{\numberline {1}Boole-Bell Type Inequalities}{3}}
\newlabel{sec:weg}{{1}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Simple urn model}{3}}
\newlabel{eq:propineq}{{1}{3}}
\newlabel{eq:propineq2}{{2}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Geometrical interpretation}{3}}
\citation{MRTT53}
\citation{Pit-91}
\citation{kolmogorov2}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Polytope associtated with the urn model}}{4}}
\newlabel{fig:urn}{{1}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Minkowski-Weyl representation theorem}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}From vertices to inequalities}{4}}
\newlabel{e-cs}{{3}{4}}
\newlabel{eq:convcomb}{{4}{4}}
\newlabel{eq:convconstr}{{5}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}From inequalities to vertices}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Quantum mechanical context}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Experimental setting to test the violation of Boole - Bell type inequalities}}{5}}
\newlabel{fig:22graph}{{2}{5}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Truth table for four propositions}}{6}}
\newlabel{tab:tt4}{{1}{6}}
\newlabel{eq:chineq}{{6}{6}}
\newlabel{eq:chineq2}{{7}{6}}
\citation{Boole-62}
\citation{MRTT53}
\citation{cdd-pck}
\citation{cdd-pck}
\newlabel{eq:angles}{{8}{7}}
\newlabel{eq:chprobsol}{{9}{7}}
\newlabel{eq:violch}{{10}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Installation}{7}}
\newlabel{sec:install}{{2}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}\textit  {Mathematica}}{7}}
\newlabel{sec:inmm}{{2.1}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}cdd}{7}}
\newlabel{sec:incdd}{{2.2}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Installation on windows-platforms}{8}}
\newlabel{sec:inwin}{{2.3}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Description Of Functions}{8}}
\newlabel{sec:func}{{3}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}CddFormat}{8}}
\newlabel{sec:cddformat}{{3.1}{8}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{9}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}ToCddExtFile}{9}}
\newlabel{sec:tocddextfile}{{3.2}{9}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{9}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}TruthTable}{10}}
\newlabel{sec:truthtable}{{3.3}{10}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{10}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}RunCdd}{10}}
\newlabel{sec:runcdd}{{3.4}{10}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{11}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}ShowVRep}{11}}
\newlabel{sec:showvrep}{{3.5}{11}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{11}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}ConvToHRep}{12}}
\newlabel{sec:convtohrep}{{3.6}{12}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{12}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7}ReadInHRep}{12}}
\newlabel{sec:readinhrep}{{3.7}{12}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{13}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8}GetInequFromHRep}{13}}
\newlabel{sec:getinequfromhrep}{{3.8}{13}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{13}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9}InequToRead}{13}}
\newlabel{sec:inequtoread}{{3.9}{13}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{13}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10}GetViolInequalities}{14}}
\newlabel{sec:getviolinequalities}{{3.10}{14}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{14}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.11}PlotInequalities}{15}}
\newlabel{sec:plotinequalities}{{3.11}{15}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{15}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{16}}
\newlabel{fig:22plot}{{3.11}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12}ContPlotInequalities}{16}}
\newlabel{sec:contplot}{{3.12}{16}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{17}}
\citation{2000-poly}
\@writefile{toc}{\contentsline {paragraph}{Example:}{18}}
\newlabel{fig:cont1}{{3.12}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.13}Cdd}{18}}
\newlabel{sec:cdd}{{3.13}{18}}
\@writefile{toc}{\contentsline {paragraph}{Description:}{18}}
\@writefile{toc}{\contentsline {paragraph}{Example:}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Examples}{19}}
\newlabel{sec:bsp}{{4}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Three particles and two measurement directions}{19}}
\newlabel{sec:3_2}{{4.1}{19}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Setting for "2 particles - 3 angles"}}{19}}
\newlabel{fig:32graph}{{3}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Violations of inequalities}{19}}
\gdef \LT@i {\LT@entry 
    {2}{301.40956pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Graphical representation}{20}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces PlotInequalities[``3\_2.ine'',\{x,0,$\pi $\},\{\{0,x\},\{0,x\},\{0,x\},Prob,\{10000,20000\},0.4]}}{21}}
\newlabel{fig:32plot}{{4}{21}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces ContPlotInequalities[``3\_2.ine'',\{x,0,$\pi $\},\{x,0,$\pi $\},\{\{0,x\},\{0,y\},\{x,y\}\},Prob,\{10000,20000\},0.4]\newline  Show[GraphicsArray[Partition[cont,3][[\{1,2\},All]] // TableForm}}{21}}
\newlabel{fig:32cont}{{5}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Two particles and three measurement directions}{21}}
\newlabel{sec:3_2a}{{4.4}{21}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Setting for "2 particles - 3 angles"}}{21}}
\newlabel{fig:23graph}{{6}{21}}
\gdef \LT@ii {\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{20.4pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}\LT@entry 
    {1}{28.79999pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Violations of inequalities}{22}}
\gdef \LT@iii {\LT@entry 
    {1}{340.00005pt}}
\gdef \LT@iv {\LT@entry 
    {1}{486.76991pt}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\rule {0cm}{20pt}Truth table for 6 propositions}}{23}}
\newlabel{tab:tt6}{{2}{23}}
\bibdata{/mytex/svozil}
\bibcite{pitowsky}{1}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}Graphical representation}{24}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces PlotInequalities[hrep,\{x,0,$\pi $\},\{\{0,x,${\begingroup 4\pi \endgroup \over 3}$\},\{\{0,x,${\begingroup 4\pi \endgroup \over 3}$\}\},Prob]}}{24}}
\newlabel{fig:23plot}{{7}{24}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces ContPlotInequalities[hrep,\{x,0,$\pi $\},\{y,0,$\pi $\},\{\{0,x,y\},\{\{0,x,y\}\},Prob,All,0.2]\newline  Show /@ \%}}{24}}
\newlabel{fig:23cont}{{8}{24}}
\bibcite{Pit-91}{2}
\bibcite{Boole-62}{3}
\bibcite{cdd-pck}{4}
\bibcite{Boole}{5}
\bibcite{Hailperin}{6}
\bibcite{Pit-94}{7}
\bibcite{cl-horne}{8}
\bibcite{chsh}{9}
\bibcite{clauser}{10}
\bibcite{pitowsky-89a}{11}
\bibcite{ziegler}{12}
\bibcite{MRTT53}{13}
\bibcite{kolmogorov2}{14}
\citation{kolmogorov2e}
\bibcite{2000-poly}{15}
\bibcite{kolmogorov2e}{16}
\bibstyle{unsrt}