rdevdict::binomial - binomial random deviate generator
Generates binomially distributed random numbers.
p(k) = (n! / k!(n-k)!) p^k (1-p)^(n-k) , 0<=k<=n, n>0
p - probability of success in a single trial (double)
n - number of trials (positive integer)
Hans Ekkehard Plesser, Moritz Deger
/var/www/debian/nest/nest-simulator-2.20.0/librandom/binomial_randomdev.h