computer-assisted-proofs

There are 3 repositories under computer-assisted-proofs topic.

  • RadiiPolynomial.jl

    OlivierHnt/RadiiPolynomial.jl

    Library for computer-assisted proofs in dynamical systems

    Language:Julia19113

  • jcpaik/sofa-designer

    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

    Language:C++11140

  • ClementFortin/BilliardOscillatingParabola

    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 oscillation is presented.

    Language:MATLAB0100