I want to know, how Mathematica actually implements the cumulative distribution function of the binomial distribution. Which algorithm does Mathematica use to compute
CDF[BinomialDistribution[n, p], x]? Does Mathematica use the normal approximation, or does it use a better approximation?
So far I have found the sites about
CDF but I haven't found an answer to my question there. I know that Mathematica is closed source but is there a way get information about the actual used algorithm?
Note: I never have used Mathematica before.