Library for computer-assisted proofs in dynamical systems
A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
A particle is bouncing on a vertically vibrating parabolic surface. For a given number of impacts between the particle and the surface, periodic orbits are provided for fixed parameter values. A folder containing the code capable of finding these orbits as well as doing rigorous pseudo-arclength continuation in the surface's amplitude of oscilla…
Add a description, image, and links to the computer-assisted-proofs topic page so that developers can more easily learn about it.
To associate your repository with the computer-assisted-proofs topic, visit your repo's landing page and select "manage topics."