equal
deleted
inserted
replaced
657 * Multivariate_Analysis: radius of convergence of power series and |
657 * Multivariate_Analysis: radius of convergence of power series and |
658 various summability tests; Harmonic numbers and the Euler–Mascheroni |
658 various summability tests; Harmonic numbers and the Euler–Mascheroni |
659 constant; the Generalised Binomial Theorem; the complex and real |
659 constant; the Generalised Binomial Theorem; the complex and real |
660 Gamma/log-Gamma/Digamma/ Polygamma functions and their most important |
660 Gamma/log-Gamma/Digamma/ Polygamma functions and their most important |
661 properties. |
661 properties. |
|
662 |
|
663 * Probability: The central limit theorem based on Levy's uniqueness and |
|
664 continuity theorems, weak convergence, and characterisitc functions. |
662 |
665 |
663 * Data_Structures: new and growing session of standard data structures. |
666 * Data_Structures: new and growing session of standard data structures. |
664 |
667 |
665 * Imperative_HOL: obsolete theory Legacy_Mrec has been removed. |
668 * Imperative_HOL: obsolete theory Legacy_Mrec has been removed. |
666 |
669 |