I recently found the AEP algorithm. Curious how Mathematica would handle the situation, I made an experiment:
AbsoluteTiming@
Probability[
x + y + z + a + b < 1, {x, y, z, a, b} \[Distributed]
UniformDistribution[{{0, 1}, {0, 1}, {0, 1}, {0, 1}, {0, 1}}]]
getting:
{0.435173, 1/120}
Which copula did Mathematica internally assume? (I suppose that the problem does not have a unique solution if no copula is given, like here. In this case, the interdependence between the single random variables could be arbitrary.) And how is the value calculated? (with Monte Carlo simulation?)
Integrate[Boole[x+y+z+a+b<1],{x,0,1},{y,0,1},{z,0,1},{a,0,1},{b,0,1}]
, which also gives1/120
. No Monte Carlo. Why would the result not be unique? $\endgroup$Probability[x < 1, x \[Distributed] UniformSumDistribution[5]] // AbsoluteTiming
$\endgroup$