computer-assisted-proof

There are 4 repositories under computer-assisted-proof topic.

  • Chris00/ocaml-interval

    An interval library for OCaml

    Language:OCaml16423

  • 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

  • bachorp/mat

    The Multi Agent Transportation Problem: Solvers, Evaluations, and Computer-Assisted Proofs

    Language:C++1100

  • damien-gal/degree-three-spanners-square-lattice

    Python codes of the article "A note on optimal degree-three spanners of the square lattice" by Damien Galant and Cédric Pilatte, available on arXiv (see the link below).

    Language:Python0100