files / problems / ulam-sequence / compute

..
b002858.txt108 KB
bounds_table.json6.6 KB
bounds_table.py4.5 KB
certificate_L16.json982 B
certificate_L17.json878 B
certificate_L21.json1.0 KB
certificate_L22.json1.0 KB
certificate.json1.0 KB
certify_bound.py3.0 KB
classify_steps.py2.6 KB
cs_F_L1.json108 B
cs_F_L10.json125 B
cs_F_L11.json126 B
cs_F_L12.json128 B
cs_F_L13.json130 B
cs_F_L14.json132 B
cs_F_L2.json109 B
cs_F_L21.json145 B
cs_F_L22.json147 B
cs_F_L3.json112 B
cs_F_L4.json113 B
cs_F_L5.json115 B
cs_F_L6.json117 B
cs_F_L7.json119 B
cs_F_L8.json120 B
cs_F_L9.json122 B
cs_F_py_L10.json138 B
cs_F_py_L12.json140 B
cs_F_py_L16.json146 B
cs_L15.json566 B
cs_L16.json575 B
cs_L17.json581 B
cs_L18.json590 B
cs_L19.json601 B
cs_L20.json608 B
cs_matrices.py2.3 KB
extra_lemmas.json276 B
plot_growth.py2.5 KB
prefix_verify.json276 B
search_cs_bound25 KB
search_cs_bound.c7.4 KB
search_cs_bound.py4.4 KB
search_cs_F20 KB
search_cs_F.c2.8 KB
search_F_python.py1.5 KB
spectral_verify.json3.5 KB
step_classify.json2.1 KB
target_prefix.json136 B
ulam.py1.1 KB
verify_all.json1.6 KB
verify_all.py3.2 KB
verify_prefix.py1.8 KB
verify_spectral.py2.8 KB
verify_target_prefix.py1.1 KB

This folder on GitHub