Loading paper
Root separation for irreducible integer polynomials | Tomesphere