Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.activeviam.com/llms.txt

Use this file to discover all available pages before exploring further.

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

Cumulative distribution function for a normal distribution.
This feature is experimental, its key is "stats.normal.cdf".
The cdf is given by the formula cdf⁡(x)=12[1+erf⁡(x−μσ2)]\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 erf⁡\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
See also: cdf of a normal distribution.