Computer-assisted proof of skeletons of periodic orbits | Publicación