Beedbyte / 其他平台
平台链接
这里汇总 Beedbyte 的平台账号和项目源代码。研究笔记及历次版本可在本站阅读。
平台账号
-
Zenodo
账号已验证,目前尚无可引用的记录。
链接稍后添加 -
Figshare
发布首个符合条件的条目后,作者主页才会公开。
链接稍后添加
GitHub 项目
这些仓库收录了各项目目前公开的源材料,并说明各自的研究范围。
-
rule30-research
明确表述中心列问题,并提供有限步检验程序;一般的非周期性问题仍未解决。
-
graceful-spiders
收录等长臂蜘蛛树的证明与检验程序:臂长为 3、5、7、9、11 的家族,以及三条长臂均长为 4 的独立结果。
-
schur6
提供检验程序,核对一项有条件的下界:若存在有效的 1 至 537 六色染色,它在前 536 个位置中至少有 34 处与那份固定的、已发表的 1 至 536 染色不同。
-
sha256-notes
介绍 SHA-256 与减轮模型的研究范围;不宣称发现新的密码学结果。
Medium、Zenodo、Figshare 和 Internet Archive 上目前还没有 Beedbyte 的文章或研究条目。 包括 Rule 30 在内的当前研究进展,请查看本站项目页面。