RamizUnal / stretched-lr-positivity Star 2 Code Issues Pull requests 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
MettaMazza / ernos-labs-sft-platform Star 2 Code Issues Pull requests 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 Sep 12, 2026 HTML
ruu413 / aletheia-54 Star 0 Code Issues Pull requests 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++
blackencino / eternity-ii-negative-facts Star 0 Code Issues Pull requests 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