rdevdict::normal - normal random deviate generator
Generates normally distributed random numbers.
p(x) = 1 / (sigma * \sqrt{2 pi}) * exp (-(x-mu)^2 / 2 sigma^2)
mu - mean (default: 0.0)
sigma - standard deviation (default: 1.0)
Hans Ekkehard Plesser
/usr/src/packages/BUILD/librandom/normal_randomdev.h