summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

NEWS

changeset 61907 | f0c894ab18c9 |

parent 61895 | e44d5b953f16 |

child 61922 | a1b697a2f3a8 |

1.1 --- a/NEWS Mon Dec 21 19:08:26 2015 +0100 1.2 +++ b/NEWS Tue Dec 22 14:33:34 2015 +0000 1.3 @@ -596,7 +596,8 @@ 1.4 orders. 1.5 1.6 * Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals), 1.7 -Cauchy's integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light 1.8 +Cauchy's integral theorem, winding numbers and Cauchy's integral formula, Liouville theorem, 1.9 +Fundamental Theorem of Algebra. Ported from HOL Light 1.10 1.11 * Multivariate_Analysis: Added topological concepts such as connected components, 1.12 homotopic paths and the inside or outside of a set.