BMS的良序性：修订历史

2026年8月14日 (星期五)

• 当前之前 20:452026年8月14日 (五) 20:45 Tabelog 留言 贡献 小 21,718字节 +20 无编辑摘要 标签：可视化编辑
• 当前之前 20:432026年8月14日 (五) 20:43 Tabelog 留言 贡献 21,698字节 +21,698 创建页面，内容为“我们给出 BMS 良序性的证明过程。<ref>VARGOVCIK S. Well-orderedness of the bashicu matrix system[A]. 2023.</ref><ref>小清新. 对 BMS 良序性证明的个人理解[EB/OL]. 2023. https://zhuanlan.zhihu.com/p/653719928.</ref> '''定义''' 在 BMS 中给出如下定义和约定： (1) 列和行均从 0 开始数起。例如 <math>(000)(111)</math> 的 <math>(000)</math> 是第 0 列。 (2) <math>A</math>：一般指一个 BMS。 (3) <math>A[n]</m…” 标签：可视化编辑