CONTRIBUTORS
changeset 62205 ca68dc26fbb6
parent 62201 eca7b38c8ee5
child 62216 5fb86150a579
child 62236 3a326bc9d4d8
equal deleted inserted replaced
62204:7f5579b12b0a 62205:ca68dc26fbb6
    14   Proof of the central limit theorem: includes weak convergence,
    14   Proof of the central limit theorem: includes weak convergence,
    15   characteristic functions, and Levy's uniqueness and continuity theorem.
    15   characteristic functions, and Levy's uniqueness and continuity theorem.
    16 
    16 
    17 * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    17 * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    18   General, homology form of Cauchy's integral theorem and supporting material
    18   General, homology form of Cauchy's integral theorem and supporting material
    19   (ported from HOL Light)
    19   (ported from HOL Light).
    20 
    20 
    21 * Winter 2015/16: Gerwin Klein, NICTA
    21 * Winter 2015/16: Gerwin Klein, NICTA
    22   print_record command
    22   New print_record command.
    23 
    23 
    24 * Winter 2015: Manuel Eberl, TUM
    24 * Winter 2015: Manuel Eberl, TUM
    25   The radius of convergence of power series and various summability tests.
    25   The radius of convergence of power series and various summability tests.
    26   Harmonic numbers and the Euler-Mascheroni constant.
    26   Harmonic numbers and the Euler-Mascheroni constant.
    27   The Generalised Binomial Theorem.
    27   The Generalised Binomial Theorem.