equal
deleted
inserted
replaced
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. |
17 The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their |
17 The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their |
18 most important properties. |
18 most important properties. |
|
19 |
|
20 * Autumn 2015: Manuel Eberl, TUM |
|
21 Proper definition of division (with remainder) for formal power series; |
|
22 Euclidean Ring and GCD instance for formal power series. |
19 |
23 |
20 * Autumn 2015: Florian Haftmann, TUM |
24 * Autumn 2015: Florian Haftmann, TUM |
21 Rewrite definitions for global interpretations and sublocale declarations. |
25 Rewrite definitions for global interpretations and sublocale declarations. |
22 |
26 |
23 * Autumn 2015: Andreas Lochbihler |
27 * Autumn 2015: Andreas Lochbihler |