Skip to content
#

computer-assisted-proofs

Here are 3 public repositories matching this topic...

Language: All
Filter by language

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…

  • Updated Nov 13, 2024
  • MATLAB

Improve this page

Add a description, image, and links to the computer-assisted-proofs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the computer-assisted-proofs topic, visit your repo's landing page and select "manage topics."

Learn more