WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Winding number

Revision #354 → #1663 · back to history

addedWinding number7589bbd22eb7
addedWinding number as counterclockwise turns35139bcb6c0c
addedFour counterclockwise, one clockwisefe2d2d6b9318
addedZero and negative winding numberse9b8a3f85482
addedWinding number may be any integer9256de48a747
addedFormal definition via lifted path47a09e712894
addedWinding number is well defined0c2e3e6142f3
addedInteger because path is closedb91bdf6cd5bd
addedAlexander numbering rule00c1935e09bd
addedEqual winding number within a region33ce475384d8
addedZero in unbounded region3b0f10cd98fd
addedAdjacent regions differ by one5cc17e8e069d
addedWinding number in complex coordinates591e7897f9aa
addedIndex of a point with respect to a curve5094db95eaae
addedSpecial case of Cauchy integral formula9628026777f5
addedProperties of the winding number9b07d9bab848
addedWinding number of a circular path371159d2772f
addedWinding number as degree of a mapping68135fc0c577
addedTopological quantum numbersb6074f073f2f
addedComplement of a point is homotopy equivalent to circle748f6de3751a
addedMaps homotopic to standard maps27dd2320e8fb
addedFundamental group63babaef031f
addedFundamental group of the circle is Zd084917916b7
addedMaps from the 3-sphere classified by an integer5a348b772763
addedWinding number with respect to the tangentb93f1d923df5
addedTurning number of the introductory curve759e6e6205e3
addedDegree of the tangential Gauss map30b5ffb39d24
addedTurning number and total curvatureddef5c97d9d1
addedPolygon densityc5f21aae01fb
addedDensity of simple polygons is 193a5236b5ceb
addedDensity of a star polygon3d9622a1c515
addedTurning number undefined for space curveseb16ab4504a5
addedTangent turning signeb3995e7b470
addedTwo non-degenerate homotopy classescf0a3e2384f4
addedSolutions classified by winding number012a779eca6b
addedPoint in polygon via winding number3c01fce68e86