Knots and links in the $3$-sphere Knots and 3-manifolds mathematics