Knot Theory
In this project, developed in the course of "Projecto em Matematica" we present some basic concepts and results of knot theory. First of all, we introduce the subject, including important definitions and basic concepts. In the following section, we discuss the Reidemeister moves and their relation to equivalence between knots. Then, we develop some combinatorial techniques, including tricolorability and the linking number. In the following section, we discuss how to tabulate knots, i.e. how to describe projections and diagrams. The final section focuses on knot polynomials, one of the most important ways of telling knots apart.
Arch. Formal Proofs