equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to Isabelle2016 |
6 Contributions to Isabelle2016 |
7 ----------------------------- |
7 ----------------------------- |
8 |
8 |
9 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM |
9 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM |
10 Proof of the central limit theorem: includes weak convergence, characteristic |
10 Proof of the central limit theorem: includes weak convergence, |
11 functions, and Levy's uniqueness and continuity theorem. |
11 characteristic functions, and Levy's uniqueness and continuity theorem. |
12 |
12 |
13 * Winter 2015: Manuel Eberl, TUM |
13 * Winter 2015: Manuel Eberl, TUM |
14 The radius of convergence of power series and various summability tests. |
14 The radius of convergence of power series and various summability tests. |
15 Harmonic numbers and the Euler-Mascheroni constant. |
15 Harmonic numbers and the Euler-Mascheroni constant. |
16 The Generalised Binomial Theorem. |
16 The Generalised Binomial Theorem. |