cdf()

atoti.stats.normal.cdf(
    point: VariableMeasureConvertible,
    /,
    *,
    mean: NumericMeasureConvertible,
    standard_deviation: StrictlyPositiveNumber | VariableMeasureConvertible,
) → MeasureDefinition

Cumulative distribution function for a normal distribution. 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

The point where the function is evaluated.

​

mean

The mean value of the distribution.

​

standard_deviation

The standard deviation of the distribution. Must be positive.

---