Search Results - RepositoryStats

10

105

unknown

2

Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.

event random theorem theorems variable variables estimation parameters probablity statistics distribution combinatorics probability-statistics

Created 2021-05-04

5 commits to main branch, last one 3 years ago

14

56

other

4

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

coq theorems

Created 2015-09-18

144 commits to master branch, last one 8 months ago

5

48

mit

3

A journal of theorems, lemmas and problems for Mathematical Olympiads.

math lemmas journal olympiad theorems mathematical-olympiads

Created 2020-07-02

64 commits to master branch, last one 3 years ago