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