计算非退化克利福德代数矩阵表示的符号算法
摘要：计算机代数系统的现代进展提供了解决各种问题的解决方案，这些问题在过去需要经过训练有素的数学家大量投入时间来解决。 Clifford代数是这种发展的一个很好的例子。本文的主要目标是展示一个完全算法化的构建非退化特征(p,q)的Clifford代数矩阵代数表示的方法。虽然这不是最经济的实现方式，但它提供了一个透明的机制，可以在Clifford代数和其真实值矩阵表示之间进行转换，并可用于自动化证明检查。这种表示法用于推导计算任意多向量逆的证明证书的算法。所提出的算法是Faddeev-LeVerrier-Souriau算法的一种映射，用于计算矩阵的特征多项式。
作者：Dimiter Prodanov
论文ID：1904.00084
分类：Rings and Algebras
分类简称：math.RA
提交时间：2023-05-18