This project is about proving the existence of quasiperiodic solutions in the planar 3 body problem with realistic masses and excentricities. For this, we will use advanced KAM techinques combined with Computer Assisted Proofs, that require heavy memory load computations (around 1 TB of RAM).
After seen in the project SNIC 2022/22-312 that all the codes are working and the amount of time and resources that we need, we are now asking for an upgrade of it with this proposal.