搜索结果: 1-1 共查到“数理逻辑与数学基础 scalar product”相关记录1条 . 查询时间(0.093 秒)
An algorithm for the Cartan-Dieudonné theorem on generalized scalar product spaces
the Cartan-Dieudonné theorem scalar product
2010/11/9
We present an algorithmic proof of the Cartan-Dieudonn\'e theorem on generalized real scalar product spaces with arbitrary signature. We use Clifford algebras to compute the factorization of a given ...