CONTRIBUTORS
changeset 62118 e60f1a925b4d
parent 62098 b1b2834bb493
child 62138 d679e7d500ad
equal deleted inserted replaced
62117:86a31308a8e1 62118:e60f1a925b4d
     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,
    10   Proof of the central limit theorem: includes weak convergence,
    11   characteristic functions, and Levy's uniqueness and continuity theorem.
    11   characteristic functions, and Levy's uniqueness and continuity theorem.
       
    12 
       
    13 * Winter 2015/16: Gerwin Klein, NICTA
       
    14   print_record command
    12 
    15 
    13 * Winter 2015: Manuel Eberl, TUM
    16 * Winter 2015: Manuel Eberl, TUM
    14   The radius of convergence of power series and various summability tests.
    17   The radius of convergence of power series and various summability tests.
    15   Harmonic numbers and the Euler-Mascheroni constant.
    18   Harmonic numbers and the Euler-Mascheroni constant.
    16   The Generalised Binomial Theorem.
    19   The Generalised Binomial Theorem.