summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | Andreas Lochbihler |

Tue, 12 Jan 2016 15:21:34 +0100 | |

changeset 62140 | c3a9dd69179e |

parent 62138 | 519362f817c7 (current diff) |

parent 62139 | d679e7d500ad (diff) |

child 62141 | 00bfdf4bf237 |

merged

--- a/CONTRIBUTORS Tue Jan 12 14:14:28 2016 +0100 +++ b/CONTRIBUTORS Tue Jan 12 15:21:34 2016 +0100 @@ -10,6 +10,10 @@ Proof of the central limit theorem: includes weak convergence, characteristic functions, and Levy's uniqueness and continuity theorem. +* Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge + General, homology form of Cauchy's integral theorem and supporting material + (ported from HOL Light) + * Winter 2015/16: Gerwin Klein, NICTA print_record command @@ -19,7 +23,7 @@ The Generalised Binomial Theorem. The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their most important properties. - + * Autumn 2015: Manuel Eberl, TUM Proper definition of division (with remainder) for formal power series; Euclidean Ring and GCD instance for formal power series.