package prbnmcn-stats

  1. Overview
  2. Docs
On This Page
  1. Introduction

Module StatsSource

The prbnmcn-stats statistical library.

Introduction

prbnmcn-stats (stats for short) was designed to construct simple probabilistic models and compute basic statistics over empirical data obtained from various experiments.

The core data type is that of a probability distribution. Distributions come under various guises.

  • Empirical distributions are the typical outcome of performing a bunch of measurements or experiments, concretely they are nothing more than a collection of data. The empirical mean, empirical variance and quantiles are typical statistics that can be computed on empirical distributions.
  • Generative distributions a.k.a. samplers are used when constructing probabilistic models, they are typically used to generate synthetic data.
  • Measures are the mathematical representation of a distribution, associating weights to (sets of) data. This is the form we use to compute statistics such as the mean, the variance, etc of a distribution. Typically, we manipulate only finitely supported measures.

stats provides modules dedicated for each case, and maps between the various forms under which probability distributions appear.

Sourcemodule Stats_intf : sig ... end

Type signatures.

Sourcemodule Fin : sig ... end

Finite measures implemented as finitely supported functions.

Sourcemodule Emp : sig ... end

Empirical distributions.

Sourcemodule Gen : sig ... end

Generative distributions.

Sourcemodule Pdfs : sig ... end

Probability density functions (pdfs).

Sourcemodule Combi : sig ... end

Simple combinatorics.

Sourcemodule Mh : sig ... end

Metropolis-Hastings MCMC

Sourcemodule Finbij : sig ... end

Bijections between finite sets and {0; ...; n-1}.

Sourcemodule Graph : sig ... end

Basic statistics on graphs (experimental)

Sourcemodule Log_space : sig ... end

Log-space computation

Sourcemodule Binning : sig ... end

Binning finitely supported distributions

Sourcemodule Specfun : sig ... end
Sourcemodule Int_table : sig ... end
Sourcemodule String_table : sig ... end
Sourcemodule Float_table : sig ... end
Sourceval int_table : (module Hashtbl.S with type key = int)
Sourceval string_table : (module Hashtbl.S with type key = string)
Sourceval float_table : (module Hashtbl.S with type key = float)