atoti.stats.normal.cdf()#

atoti.stats.normal.cdf(point, /, *, mean, standard_deviation)#

Cumulative distribution function for a normal distribution.

Warning

This feature is experimental, its key is "stats.normal.cdf".

The cdf is given by the formula

\[\operatorname {{cdf}}(x) = \frac {{1}}{{2}}\left[1 + \operatorname {{erf}} \left(\frac {{x-\mu }}{{\sigma {{\sqrt {{2}}}}}}\right)\right]\]

Where \(\mu\) is the mean of the distribution, \(\sigma\) is its standard deviation and \(\operatorname {{erf}}\) the error function.

Parameters:
  • point (VariableMeasureConvertible) – The point where the function is evaluated.

  • mean (NumericMeasureConvertible) – The mean value of the distribution.

  • standard_deviation (StrictlyPositiveNumber | VariableMeasureConvertible) – The standard deviation of the distribution. Must be positive.

Return type:

MeasureDefinition