maths
problems
notes
files
github
files
/
problems
/
kissing-5d
/
compute
/ q4
..
a5_hyper.py
3.6 KB
analyze_stars.json
776 B
analyze_stars.py
3.8 KB
bv.py
15 KB
clique41_sat.py
3.8 KB
cliqueutil.py
1.8 KB
color_d4.json
396 B
color_d4.py
7.8 KB
color_sphere.py
6.9 KB
construct41.py
3.7 KB
dense_U.py
8.4 KB
dual_exact.json
5.9 KB
dual_exact.py
42 KB
dump_special.py
2.2 KB
dump_t5.py
978 B
explore_pools.py
2.6 KB
extend_cores.py
9.7 KB
mixed_slices.py
5.7 KB
n1_check.json
417 B
n1_check.py
5.5 KB
n1_complete_k12.json
2.1 KB
n1_complete.c
14 KB
n1_dfs_k16.json
3.0 KB
n1_dfs_k18.json
3.4 KB
n1_dfs.c
14 KB
n1_ilp.json
722 B
n1_ilp.py
3.0 KB
n1_le32_k9.json
532 B
n1_le32.c
11 KB
n1_le32.json
529 B
n1_stars.c
17 KB
proj_d6.json
490 B
proj_d6.py
6.2 KB
putinar_sdp.json
543 B
putinar_sdp.py
14 KB
qr_reflect.json
497 B
qr_reflect.py
5.2 KB
quadratic_orbits.json
1.2 KB
quadratic_orbits.py
9.1 KB
README.md
1.4 KB
replay_unions_k12.json
2.6 KB
replay_unions_k13.json
2.9 KB
replay_unions.py
7.1 KB
run_all.sh
1.4 KB
same_missed.json
4.9 KB
same_missed.py
5.0 KB
seed_cover.py
5.1 KB
special_octads.json
2.3 KB
sphere.py
2.0 KB
t5_36_proof.py
3.1 KB
t5_omega.json
500 B
t5_omega.py
9.7 KB
t5_published.json
1.8 KB
t5_repair_deep.json
1.0 KB
t5_repair_deep.py
3.4 KB
t5_share.c
7.8 KB
t5_share.json
1.1 KB
t5_share.py
6.2 KB
t5_share24_c.json
666 B
t5_share25_c.json
664 B
t5_share26_c.json
650 B
t5_share27_c.json
647 B
t5_share28_c.json
639 B
t5_share29_c.json
637 B
t5_share30_c.json
629 B
t5_share30.json
529 B
t5_share30.py
4.9 KB
verify_n1.rs
5.6 KB
verify.json
2.5 KB
verify.py
13 KB
This folder on GitHub