1
The project
2
Roots of Complex Polynomials (New)
▶
2.1
Generic helper maps
2.2
Homotopies through loops
2.3
Circle-valued helper constructions
2.4
Lifts and winding numbers of loops
2.5
Winding numbers of circle maps
2.6
Monomials on the circle
2.7
Polynomial maps on the circle and disk
3
Roots of Complex Polynomials (Old)
▶
3.1
Results from LEAN
3.2
\(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
3.3
Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
3.4
Winding numbers at Infinity for complex polynomials
Dependency graph
CoveringSpacesProject
1
The project
2
Roots of Complex Polynomials (New)
2.1
Generic helper maps
2.2
Homotopies through loops
2.3
Circle-valued helper constructions
2.4
Lifts and winding numbers of loops
2.5
Winding numbers of circle maps
2.6
Monomials on the circle
2.7
Polynomial maps on the circle and disk
3
Roots of Complex Polynomials (Old)
3.1
Results from LEAN
3.2
\(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
3.3
Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
3.4
Winding numbers at Infinity for complex polynomials