Projects in Awesome Lists tagged with computer-assisted-proofs
A curated list of projects in awesome lists tagged with computer-assisted-proofs .
https://github.com/jcpaik/sofa-designer
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
branch-and-bound computer-assisted-proof computer-assisted-proofs discrete-geometry geometric-algorithms optimization quadratic-programming
Last synced: 18 Jan 2026
https://github.com/olivierhnt/radiipolynomial.jl
Library for computer-assisted proofs in dynamical systems
computer-assisted-proofs dynamical-systems infinite-dimensions julia nonlinear-equations rigorous-numerics
Last synced: 02 Mar 2026
