| .. |
|
all_four_columns_certificate.sage
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_convergence_constants.py
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_dominant_product_algebra.py
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_full_closure_certificate.PASS.txt
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_full_closure_certificate.wl
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_kernel_contiguity_certificate.sage
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_lattice_hypotheses_certificate.sage
|
feat(p28): close exact Ramanujan 2.8 limit
|
2026-07-31 14:30:10 +09:00 |
|
p28_parametric_pade_probe.py
|
feat(p28): close exact Ramanujan 2.8 limit
|
2026-07-31 14:30:10 +09:00 |
|
p28_rank_ode_bound_verifier.py
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
p28_standalone_equations.py
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
|
STANDALONE_EQUATION_CERTIFICATES.md
|
feat(p28): harden exact proof equations
|
2026-07-31 15:33:21 +07:00 |
