A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
Library for computer-assisted proofs in dynamical systems
Long-horizon autonomous mathematical research by Qiushi Engine: a structural lower-bound proof for 3x3 matrix multiplication over F2, with an open research trajectory, bilingual reports, and replayable certificates.
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…
Not a Clay solution. Spectral-front identities for periodic Navier-Stokes: a bandwidth-dissipation dichotomy, an exact action representation, and an obstruction to uniform pointwise Osgood closure. Exact-rational certificates; AI-agent review, not human peer review.
To associate your repository with the computer-assisted-proofs topic, visit your repo's landing page and select "manage topics."