使用该输入的 Skills：Cartan matrix

浏览使用该输入的技能列表。

lattices - 格与二次型工具
数学格代数二次型
★ 2 · 更新于 2026-03-19
用于处理格、二次型或欧几里得空间的离散子群
⚙ 定义双线性形式 ⚙ 定义内积 ⚙ 定义二次型