1
The project
2
Roots of Complex Polynomials
▶
2.1
Results from LEAN
2.2
\(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
2.3
Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
2.4
Winding numbers at Infinity for complex polynomials
Dependency graph
CoveringSpacesProject
1
The project
2
Roots of Complex Polynomials
2.1
Results from LEAN
2.2
\(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
2.3
Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
2.4
Winding numbers at Infinity for complex polynomials