共 50 条
- [2] Computer assisted 'proof' of the global existence of periodic orbits in the Rossler system [J]. PROCEEDINGS OF SAIP2014: THE 59TH ANNUAL CONFERENCE OF THE SOUTH AFRICAN INSTITUTE OF PHYSICS, 2014, : 571 - 577
- [4] Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence [J]. CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 2019, 131 (01):
- [5] Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence [J]. Celestial Mechanics and Dynamical Astronomy, 2019, 131
- [6] Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards [J]. INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2021, 31 (08):
- [9] The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof [J]. Foundations of Computational Mathematics, 2006, 6 : 495 - 535