Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight

From MaRDI portal
Publication:5297506