summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

CONTRIBUTORS

changeset 62138 | d679e7d500ad |

parent 62118 | e60f1a925b4d |

child 62201 | eca7b38c8ee5 |

--- a/CONTRIBUTORS Tue Jan 12 09:28:08 2016 +0100 +++ b/CONTRIBUTORS Tue Jan 12 13:34:31 2016 +0000 @@ -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.