Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight | Publicación