3 results found Sort:
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
Created
2021-05-04
5 commits to main branch, last one 3 years ago
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
Created
2015-09-18
144 commits to master branch, last one 9 months ago
A journal of theorems, lemmas and problems for Mathematical Olympiads.
Created
2020-07-02
64 commits to master branch, last one 3 years ago