computational-proof

Here are 4 public repositories matching this topic...

MettaMazza / ernos-labs-sft-platform

Open, machine-checkable Smithian Fold Theory knowledge tree: exact zero-parameter derivations, exhaustive forcing, external validation, and reproducible branch papers.

python reproducible-research information-theory open-science coding-theory formal-methods reproducibility computational-science quantum-information knowledge-tree computational-proof smithian-fold-theory

Updated Aug 12, 2026
HTML

RamizUnal / stretched-lr-positivity

Star

Exact computer-assisted proof of bounded positivity for stretched Littlewood-Richardson polynomials

reproducible-research computational-mathematics algebraic-combinatorics littlewood-richardson computational-proof

Updated Sep 4, 2026
Python

blackencino / eternity-ii-negative-facts

Star

Certified impossible placements in Eternity II under the five official clues, with reproducible SAT/DRAT certificates.

constraint-programming sat drat computational-proof eternity-ii

Updated Aug 13, 2026
Python

ruu413 / aletheia-54

Star

Exact computational proof of the maximum determinant of a 54x54 binary circulant matrix

mathematics combinatorics circulant-matrices computational-proof maximum-determinant

Updated Jul 22, 2026
C++

Add this topic to your repo

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

Learn more